function replaceElement(elId,newHTML) {
try {
document.getElementById(elId).innerHTML = newHTML;
}
catch (e) {}
}
/*Headers*/

replaceElement("GLOSS_HEAD_1","<img src='Assets/GLOSS_HEAD_1.gif' alt='Glossary of terms' />");
replaceElement("GLOSS_HEAD_2","<img src='Assets/GLOSS_HEAD_2.gif' alt='Glossary of ATM/ATC terms' />");
replaceElement("PRIV_HEAD_1","<img src='Assets/PRIV_HEAD_1.gif' alt='Privacy Policy' />");
replaceElement("LINKS_HEAD_1","<img src='Assets/LINKS_HEAD_1.gif' alt='Links' />");