function drawNav()
{
var i = 0;
for (i = 0 ; i < 7 ; i++)
{
document.write(" ");
// switch nav on highlight tag
if (xmlDoc.getElementsByTagName("navHighlight")[i].childNodes[0].nodeValue == 'true') {
document.write("" + xmlDoc.getElementsByTagName("navLink")[i].childNodes[0].nodeValue + "");
}
else {
document.write("" + xmlDoc.getElementsByTagName("navLink")[i].childNodes[0].nodeValue + "");
}
document.write(" ");
}
}