function over (id) {
	document.getElementById(id).style.borderColor='#A9A9A9';	
	document.getElementById(id).style.backgroundColor='#F0F8FF';
}

function out (id) {
	document.getElementById(id).style.borderColor='silver';	
	document.getElementById(id).style.backgroundColor='#eee';
}


function pop (loc) {
	window.open(loc, '_parent', '', '');
}