JS: tools.js