var oldClassNav = '';
var oldClassLink = '';

function navHilite( row, on) {
	hrefs = row.getElementsByTagName('a');
	if (on) {
	    oldClassNav = row.className;
	    oldClassLink = hrefs[0].className;
		row.className='leftNavHilite';
		hrefs[0].className='leftNavHilite';
	}
	else {
		//row.className='leftNav';
		//hrefs[0].className='leftNavX';
		row.className=oldClassNav;
		hrefs[0].className=oldClassLink;
		
	}
}