a javascript hot key system for web pages