add htmldom.js