// JavaScript Document

<!--

function writesafem() {
	var a = "in";
	var b = "fo";
	var c = "&#64";
	var d = "Hotel";
	var e = "&#45";
	var f = "am";
	var g = "See";
	var h = "&#46";
	var i = "c";
	var j = "om";
	var x = "mai";
	var y = "lto";
	var z = "&#58";
	document.write('<a href=\"' + x + y + z + a + b + c + d + e + f + e + g + h + i + j + '\">');
	document.write(a + b + c + d + e + f + e + g + h + i + j + '</a>');
}

//-->