function ReplaceImage(filename)
      {
        document.getElementById("imagemap").src = filename;
      }