function write_email_address() {  //writes email address into HTML

  document.write("<a href='mail");

  document.write("to:debbie@");

  document.write("iselldenverhomes");

  document.write(".com'>");

  document.write("debbie@iselldenverhomes.com</a>");

  }