function overnavi(counter)
{
	
	document.images[counter].src = "images/"+counter+"_a.gif";
}

function outnavi(counter)
{
	
		document.images[counter].src = "images/"+counter+".gif";
	
}