tools.js verwijderd