tools.js