function SwapImage(imgname) {
  if (document.images) {
    document.getElementById(imgname).src = "mainsite/images/"+imgname+"over.png";
  }
}



function RestoreImage(imgname) {
  if (document.images) {
    document.getElementById(imgname).src = "mainsite/images/"+imgname+"out.png";
  }
}