/*global document */

/*global unhide */

document.getElementById('animate').onload = function()
{
unhide();};