//document.onkeydown=handle_keyboard; //"return handle_keyboard(event)";

//document.onkeydown=handle_keyboard; //"return handle_keyboard(event)";

// Some JavaScript versions error unless key starting with digits is quoted.
var key_names={"13":"enter", "8":"backspace", "27":"escape", "32":"spacebar", "16":"shift", 
   "9":"tab", "39":"right_arrow", "37":"left_arrow", "38":"up_arrow", "40":"down_arrow" };

/*
var key_names=new Object();
key_names["13"]="enter";
key_names["8"]="backspace";
key_names["27"]="escape";
key_names["32"]="spacebar";
key_names["16"]="shift";
key_names["9"]="tab";
key_names["39"]="right_arrow";
key_names["37"]="left_arrow";
key_names["38"]="up_arrow";
key_names["40"]="down_arrow";
var key_names={13:"enter", 8:"backspace", 27:"escape", 32:"spacebar", 16:"shift", 9:"tab", 
         39:"right_arrow", 37:"left_arrow", 38:"up_arrow", 40:"down_arrow"
};
*/

var key_actions=
   {backspace:"history.back()"};

function keyboard_control(e) { 
 var key_code=((typeof e.which) == "undefined") ? e.keyCode : e.which;
 //var K=e.keyCode;
 //lert("K: " + key_code);
 var key_name=key_names[key_code];
 var key_action=key_actions[key_name];
 var TK = typeof key_action;
 //alert("TK: " + TK);
 if (TK == "undefined") {
   null; // do nothing
 } else if (TK == "string") {
   eval(key_action);
 } else if (TK == "function") {
   key_action.call();
 } else {
   null; // do nothing
 }
 return false;
};