Added domlibrary.js