rendered paste bodyw=window.innerWidth-15+'px';e=encodeURIComponent;d=document.getElementsByTagName('body')[0];x=1;f=function(q){ k=q.replace(/^([^\s]+\s?).*/,"$1").toLowerCase(); p=e(q.replace(/^[^\s]+\s(.*)/,"$1")); if(k=='help'){ d.innerHTML='<style type="text\/css">body{font-size:12px;}div{width:'+w+';word-wrap:break-word;}i{color:#aaa;padding:0 0.5em 0;}b{background-color:#666;color:#fff;font:12px monospace;padding:2px;}<\/style>'; d.innerHTML+='<h3>Available Shortcuts:<\/h3><div>'; for(i in s) d.innerHTML+='<b>'+i+'<\/b> : '+s[i][0]+'<br\/><i>'+s[i][1]+'<\/i><br\/>'; d.innerHTML+='<h3>Query:<\/h3><input id="fd" size="16"\/><input type="button" value="Enter" onclick="f(document.getElementById(\'fd\').value);"\/><\/div>'; }else{ for(i in s) if(i==k) {location.href=s[i][1].replace(/%s/,p);x=0;} if(x) alert('Cannot match shortcut. Typo?'); }};q=prompt("Enter 'help' for available shortcuts"); if(q)f(q);