Delete tocs.js