function change(filename){ document.picIMG.src = filename; }