//this changes a picture to another picture when moused over
function change_pic(img_name,img_src) {
	document[img_name].src=img_src;
}