A Javascript code obfuscator