function changeImages(ImageName,ImageFile){
document.getElementById(ImageName).src = ImageFile;
}