// Handles mouse click on top and side menu
// TODO (MB 12/00)- test with NN , revise if necessary
function m_click(dest) 
{
	//window.navigate(dest);
	window.location = dest
}

//function handleMouseover(evt) {
	//if (!evt) {
		//evt = window.event;
	//}
	//eSrc = evt.target || evt.srcElement;
	//eSrcTag=eSrc.tagName.toUpperCase();
	//if (eSrcTag == "A") eSrc.style.textDecoration = "underline";
//}
//function handleMouseover(e) {
	//var eSrcTag;
	//var e=e? e : window.event;
	//var event_element=e.target? e.target : e.srcElement;
	//eSrcTag=event_element.tagName.toUpperCase();
	//alert(eSrcTag);
	//if (eSrcTag == "A") event_element.style.textDecoration = "underline";
//}
//function handleMouseout(evt) {
	//if (!evt) {
		//evt = window.event;
	//}
	//eSrc = evt.target || evt.srcElement;
	//eSrcTag=eSrc.tagName.toUpperCase();
	//if (eSrcTag == "A") eSrc.style.textDecoration = "";
//}
function openDialog(URL)
{
	return window.open(URL,"test","resizable=yes,status=no,toolbar=no,location=no");
}
//document.onmouseover=handleMouseover;
//document.onmouseout=handleMouseout;

window.onload=window_onload;


// This runs when a page is loaded
// Top is an object reference to the browser window (NN & IE).
// All is an array or all html elements (IE only)
// TODO - make NN compatible
function window_onload()
{
// The following is used to create a title that fades in when page is loaded.
// Too fancy for ne, plus its IE specific (i think) so dont use.

/* 
	var title = top.document.all("title");
	
	if (title != null)
	{
		title.filters[0].Apply(); 
		title.innerHTML = document.title; 
		title.filters[0].Play(); 
	}	
*/

}