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();}}