A simple JavaScript code obfuscator, generated from PHP