var selected = 'home';

function vp_in(myid) {
	var img_name = "/images/navigation/"+myid+"1.gif";
	document[myid].src = img_name;
}

function vp_out(myid) {
	if ( selected != myid ) {
		var img_name = "/images/navigation/"+myid+"0.gif";
		document[myid].src = img_name;
	}
}