function imageswitch(imgid, imgfile){
    e=document.getElementById(imgid);
    e.src='/images/' + imgfile + '.jpg';
}