function gnav(val){
	document.getElementById('big_pic').src=val;
}