function m1_onmouseover(x,colr) {
if(x == null)
var y
y = x.color="white" ;
y ;
    window.event.srcElement.style.background="Blue";
    window.event.srcElement.style.color = (colr);
    window.event.srcElement.style.cursor = "hand";
}
function m1_onmouseout(x,colr,colr2) {
if(colr == null)
var y
y = x.color=(colr2) ;
y ;
   window.event.srcElement.style.background = (colr);
   window.event.srcElement.style.color = "";
   window.event.srcElement.style.cursor = "";
}

function m1_onclick(x,dest) {
var url;
url = dest;
if(x == f1)
window.open(url,"main")
else
window.open(url,"_top")
}