1function Ctrl(e)� 2{� 3 if ( e == null )� 4 e = window.event;� 5� 6 if ( e.ctrlKey )� 7 {� 8 var a;� 9 if ( e.keyCode == 37 )� 10 a = document.getElementById( "PreviousPages" );� 11 else if ( e.keyCode == 38 )� 12 a = document.getElementById( "FirstPages" );� 13 else if ( e.keyCode == 39 )� 14 a = document.getElementById( "NextPages" );� 15 else if ( e.keyCode == 40 )� 16 a = document.getElementById( "LastPages" );� 17 if ( a != null )� 18 {� 19 document.location = a.href;� 20 }� 21 }� 22}� 23document.onkeydown = Ctrl;�
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.