animation.js and main.html