
// Avoid being framed.
if(parent.location.href != window.location.href) parent.location.href=window.location.href;

// Create image objects, preload all active and inactive images.

star_a = new Image();
star_b = new Image();  

star_a.src = "images/menu_star1.gif";
star_b.src = "images/menu_star2.gif";

function imgOn(imgName){
  document.getElementById(imgName).src=eval("star_b.src");
}


function imgOff(imgName){
  document.getElementById(imgName).src=eval("star_a.src");
}
