var img_over = new Array();
var img_out = new Array();
var img_text = new Array();

img_text[0]=new Image();
img_text[0].src="images/blank.gif";
	
for(i=0;i<=12;i++) {
	name = "nav"+i;
	img_over[name]=new Image();
	img_over[name].src="nav/nav_"+i+"_on.gif";
	img_out[name]=new Image();
	img_out[name].src="nav/nav_"+i+"_off.gif";
}


function over(id) {
	document[id].src=img_over[id].src;
	return true;
}

function out(id) {
	document[id].src=img_out[id].src;
	return true;
}