function dozoom(fname) {
    var im=GetElement('boximg');
    im.src='g/zoom.png';
    im.src='img/'+fname;
    showname('box');
}


