function ChangeImage(name, newImageFile) {
document[name].src=newImageFile;
}