Update TOOLS.js