function viewSource() {
	window.location = "view-source:" + window.location.href;
}

function init() {
	//There must be a hover effect - we have to hard code it for IE.
	if(document.all) {//Only IE goes in.
		var lis = document.getElementById("global-menu").getElementsByTagName("li"); 
		for(var i=0; i<lis.length; i++) {
			if(lis[i].className.indexOf("disabled")+1) continue; //Disabled menu items don't need hover effects
			lis[i].onmouseover=function(e){this.className += " context-menu-item-active";}
			lis[i].onmouseout=function(e) {this.className=this.className.replace(/\s+context\-menu\-item\-active/g,"");}
		}
	}
		
	ContextMenu.set("special-menu","context-area");
	ContextMenu.set("global-menu");
} 
window.onload=init;