<!--
function setBgColor (elementID, color) {
  if (document.all)
    document.all[elementID].style.backgroundColor = color;
  else if (document.getElementById)
    document.getElementById(elementID).style.backgroundColor = color;
}
function setBackgroundImage (elementID, imgURL) {
  if (document.all)
    document.all[elementID].style.backgroundImage = 'url(' + imgURL + 
')';
  else if (document.getElementById)
    document.getElementById(elementID).style.backgroundImage = 'url(' + 
imgURL + ')';
}
function cambia(ImageName,ImageFile){
ImageName.src = ImageFile;
}
//-->