/* setNavOn.js - sets the image src of the navigation to its "on" (selected) image
call this function with the pagename as the argument
mrz Jan 2009
*/
function setNavOn (pagename) {
  document.getElementById(pagename+"-img").src = "../_sitespecific/yourfiles/assets/graphics/nav-"+pagename+"-hover.gif";
  document.getElementById(pagename+"-img").onmouseout = "../_sitespecific/yourfiles/assets/graphics/nav-"+pagename+"-hover.gif";
return;
}