// navigation.js 

var theimage = 'navbar.gif';

function highlight(n) 
{
	
		document.all[n].style.background = theimage;
	
	
	
}