function onKeyPressed() { if (keydown(6)) { } }
function GraalControl.onKeyDown() { if (keydown(6)) { ... } }