function hide_cheat ()
  {
  document.getElementById('cheat').style.display="none";
  }
  
  function show_cheat ()
  {
  document.getElementById('cheat').style.display="block";
  }

/* feedback info */

var toggle = true;
var contact = "<p>\
<a href='mailto:thomas@evdokimoff.com'>thomas@evdokimoff.com</a>\
</p>";

function showEmail()
  
  {
      if (toggle ) {
          document.getElementById('contact_info').innerHTML = contact;
          toggle = false;
      } else {
          document.getElementById("contact_info").innerHTML = null;
	  toggle = true;
     }
  }