// JavaScript Document
if (document.getElementById) { // include all feature tests needed
																										// for your DOM script
	document.write('<link rel="stylesheet" type="text/css" href="/style/hide.css" />');
}

function selectNavLink(navLink) {
	if (document.getElementById(navLink))
		with (document.getElementById(navLink))
      className += " selected";
}