function showInfo(){ document.getElementById('info').style.visibility = 'visible';}
function hideInfo(){ document.getElementById('info').style.visibility = 'hidden';}