// JavaScript Document

function changepic(img_name,img_num) {
	if(img_num == 1){ 
		img_src = "images/nav_" + img_name + "_over.jpg";
	}else{
		img_src = "images/nav_" + img_name + "_up.jpg";
	}
	document[img_name].src = img_src;
}