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