function print_mailto_link(lhs, rhs) {
 	document.write('<a href=mailto:' + lhs + "@" + rhs + '>' + lhs + "@" + rhs + '</a>');
   }