// JavaScript Document

function rollover(id)
   {
   document.getElementById(id).src = "http://www.cdsphotos.com/_images/navigation/" + id + "_down.jpg";
   }
   
function restore(id)
   {
   document.getElementById(id).src = "http://www.cdsphotos.com/_images/navigation/" + id + "_up.jpg";
   }