function info_close()
{
  document.getElementById('info').innerHTML='';
}