1var scripts = document.getElementsByTagName('script'); 2var myScript = scripts[scripts.length - 1]; 3 4var queryString = myScript.src.replace(/^[^\?]+\??/, ''); 5 6var params = parseQuery(queryString); 7 8function parseQuery(query) { 9 var Params = {}; 10 if (!query) return Params; // return empty object 11 var Pairs = query.split(/[;&]/); 12 for (var i = 0; i < Pairs.length; i++) { 13 var KeyVal = Pairs[i].split('='); 14 if (!KeyVal || KeyVal.length != 2) continue; 15 var key = unescape(KeyVal[0]); 16 var val = unescape(KeyVal[1]); 17 val = val.replace(/\+/g, ' '); 18 Params[key] = val; 19 } 20 return Params; 21} 22 23function showPubs(id) { 24 if (id == 0) { 25 document.getElementById('pubs').innerHTML = document.getElementById('pubs_selected').innerHTML; 26 document.getElementById('select0').style = 'text-decoration:underline;color:#000000'; 27 document.getElementById('select1').style = ''; 28 document.getElementById('select2').style = ''; 29 } else if (id == 1) { 30 document.getElementById('pubs').innerHTML = document.getElementById('pubs_by_date').innerHTML; 31 document.getElementById('select1').style = 'text-decoration:underline;color:#000000'; 32 document.getElementById('select0').style = ''; 33 document.getElementById('select2').style = ''; 34 } else { 35 document.getElementById('pubs').innerHTML = document.getElementById('pubs_by_topic').innerHTML; 36 document.getElementById('select2').style = 'text-decoration:underline;color:#000000'; 37 document.getElementById('select0').style = ''; 38 document.getElementById('select1').style = ''; 39 } 40}
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.