// JavaScript Document

function close_play() 
{
document.getElementById('animace-play').style.display='none';
}