// JavaScript Document

var KEY_OK=13;
var KEY_UP=38;
var KEY_DOWN=40;
var KEY_LEFT=37;
var KEY_RIGHT=39;
var KEY_RED=112;
var KEY_GREEN=113;
var KEY_YELLOW=114;
var KEY_BLUE=115;
var KEY_WHITE=191;

var KEY_DELETE=8;
var KEY_MENU=5;
var KEY_HOME=36;
var KEY_EXIT=27;


/*
var KEY_OK=13;
var KEY_UP=38;
var KEY_DOWN=40;
var KEY_LEFT=37;
var KEY_RIGHT=39;
var KEY_RED=49;
var KEY_GREEN=50;
var KEY_YELLOW=51;
var KEY_BLUE=52;
var KEY_WHITE=53;
*/