function change(picsrc,newpic) {
    window.document[picsrc].src = newpic;
}