javascripts converted by haste-compiler.