// JavaScript Document

var topSectArr = section.split(".", 2);
var topSection = topSectArr[0] + "." + topSectArr[1];

document.write('<ul id="navLinks">');
if (topSection!="10.1") {
	document.write('<li><a href="/contact.shtml">Contact Us</a></li>');        
} else {
	document.write('<li><a href="/contact.shtml" class="on">Contact Us</a></li>');  
}