function rollover(theid) {
    document.all(theid).src="images/blue.gif";
  }
  function rollout(theid)  {    
    document.all(theid).src="images/grey.gif";
  }