var MainMenuLastObj;
function do_over(obj,color) {
	if (obj != MainMenuLastObj) {
		obj.style.backgroundColor = '#' + color;
		obj.style.color = 'black'; obj.style.cursor = 'hand';
	}
}
function do_out(obj) { 
	if (obj != MainMenuLastObj) { obj.style.backgroundColor = ''; obj.style.color = ''; }
}

function PV_GetSelection(){if(navigator.appName=="Microsoft Internet Explorer"){return document.selection.createRange().text;}else{return document.getSelection();}}