//
// Image roll over function
//

function rollover(name,over)
{
  if(window.document.images) 
  {
    if (over)
      window.document.images[name].src = "/images/" + name + ".gif";
    else
      window.document.images[name].src = "/images/ro_" + name + ".gif";
  }
}