function init(){var B=window.location.search;B.match(/page=(.*)/);var A=RegExp.$1;YAHOO.util.Event.addListener(document,"keypress",function(C){if(C.ctrlKey&&((C.keyCode==26)||(C.charCode==122))){var D=window.prefix+"PortalPageEdit?hotkey=true&page="+A;window.location=D}})}YAHOO.util.Event.onDOMReady(init);