This page uses a web3 object without defining it.