Delete totop.js~