<script type="text/javascript"> <!-- var preview_page = "{?$preview_page?}"; var next_page = "{?$next_page?}"; var index_page = "{?$index_page?}"; var article_id = "{?$article_id?}"; var chapter_id = "{?$chapter_id?}"; function jumpPage() { var event=document.all?window.event:arguments[0];   if (event.keyCode==37) location=preview_page;   if (event.keyCode==39) location=next_page;   if (event.keyCode==13) location=index_page; } document.onkeydown=jumpPage; --> </script>