<!--//
function hover_image(id,imagename) { //v3.0
//alert("hover_image"+id+imagename);
var i;
  if (imagename!=null){document.getElementById(id).src=imagename;}
}
//-->