Avoid document.write(), eval() and with()

JavaScript engines cannot penetrate them, and so cannot optimise for them. So only use them if you've got a very good reason to.