Gamehole js_def