\n'); } var FALSE_FUNCTION = new Function( "return false" );/** * Called to disable F1, F3, and F5. */function disableShortcuts() { // Disable online help (the F1 key). // document.onhelp = FALSE_FUNCTION; window.onhelp = FALSE_FUNCTION; // Disable the F1, F3 and F5 keys. Without this, browsers that have these // function keys assigned to a specific behaviour (i.e., opening a search // tab, or refreshing the page) will continue to execute that behaviour. // document.onkeydown = function disableKeys() { // Disable F1, F3 and F5 (112, 114 and 116, respectively). // if( typeof event != 'undefined' ) { if( (event.keyCode == 112) || (event.keyCode == 114) || (event.keyCode == 116) ) { event.keyCode = 0; return false; } } }; // For good measure, assign F1, F3, and F5 to functions that do nothing. // shortcut.add( "f1", FALSE_FUNCTION ); shortcut.add( "f3", FALSE_FUNCTION ); shortcut.add( "f5", FALSE_FUNCTION );} //-->