function displaymail(mail)
{
document.write('<a hr' + 'ef=mai' + 'lto:' + mail + '@' + 'thehotellandmark.com' + '>' + mail + '@' + 'thehotellandmark.com</a>');
}