function rollOver(name, height) { 
  if (name == page) return; 
  if (!height) height = 36; 
  document.getElementById(name).style.backgroundPosition = "0px " + height + "px"; 
}
function rollOut(name) { 
  if (name == page) return; 
  document.getElementById(name).style.backgroundPosition = "0px 0px"; 
}