document.onkeydown=DoKeyDown;function DoKeyDown(b){if(!document.getElementById){return}if(window.event){b=window.event}if(b.ctrlKey){var a=null;switch(b.keyCode?b.keyCode:b.which?b.which:null){case 37:a=document.getElementById("id_prev");break;case 39:a=document.getElementById("id_next");break}if(a&&a.href){document.location=a.href}}};