Hardened javascript