modified JavascriptBasic