added DOMLibrary.js (is required)