Update html5.js

Updating to 3.7.2