/*global document */


function unhide()
{
document.getElementById('animate').style.visibility = "visible";}