function getFile(name,displayedimage,x,y) {
//document.getElementById(name).innerHTML = '<image src="' + displayedimage + '"' + 'width="' + x + 'height="' + y + '"></img>';
//var image = document.getElementById("mainImg");
document.getElementById("mainImg").setAttribute("src",displayedimage);
}
