Delete mario.js