function over(imgname,imgsrc){
  document.images[imgname].src=imgsrc;
}
function out(imgname,imgsrc){
  document.images[imgname].src=imgsrc;
}