add tools.js.