animaDIV is a javascript function to create animations on your webpage.