function srcchange(id,addy) {
document.getElementById(id).src=addy;
}


function infopix(imgname)
{
 document.getElementById('infopic').src=imgname;
}