/* @pjs globalKeyEvents="true"; */

void display() {
     // Do nothing
}