function show(imgfile){
document['display'].src=imgfile;
}