380       }

   380       }

   381     }

   381     }

   382     document.getElementById("right").addEventListener("click", ui.action.right);

   382     document.getElementById("right").addEventListener("click", ui.action.right);

   383 

   383 

   384     document.body.addEventListener("keydown", function(event) {

   384     document.body.addEventListener("keydown", function(event) {

   385       var key = event.keyCode || event.which;

   387       var key = event.keyCode || event.which;

   386       switch (key) {

   388       switch (key) {

   387           case 38: ui.action.up(); break;

   389           case 38: ui.action.up(); break;

   388           case 40: ui.action.down(); break;

   390           case 40: ui.action.down(); break;

   389           case 37: ui.action.left(); break;

   391           case 37: ui.action.left(); break;