function pic_changer(target,new_pic){
	document.getElementById(target).src = new_pic;
}