function print_info_at() {
  with (document) {
    write('<a href="mailto:');
    write('info');
    write('@');
    write('secret.tv');
    write('" style="color: white">info@');
    write('secret.tv</a>');
  }
}