function change(picid,filename)
{
	var pic = document.getElementById(picid);
	pic.src = filename;
}