function m_over(x) 
{
   if(x == null)
      x= window;   
   x.event.srcElement.className = x.event.srcElement.className + 'MouseOver';
}
function m_out(x) 
{
   if(x == null)
      x= window;
   var sStr = new String(x.event.srcElement.className);  
   x.event.srcElement.className = sStr.substring(0,sStr.length - 9);
}

function m_click(dest) 
{
   window.navigate(dest);
}