function abc()
{
	var abc = new Array;
	abc[0] = "mi";
	abc[1] = "an";
	abc[2] = "ru";
	abc[3] = "ol";
	abc[4] = "in";
	abc[5] = "to";
	abc[6] = "rm";
	abc[7] = "sha";
	abc[8] = "ma";
	abc[9] = "fo";
	abc[10] = "box";
	abc[11] = "il";
	abc[12] = "al";
	abc = abc[4] + abc[10] + "@" + abc[7] + abc[3] + abc[4] + "." + abc[2];
	document.write (abc);
}

function abch()
{
	var abc = new Array;
	abc[0] = "mi";
	abc[1] = "an";
	abc[2] = "ru";
	abc[3] = "ol";
	abc[4] = "in";
	abc[5] = "to";
	abc[6] = "rm";
	abc[7] = "sha";
	abc[8] = "ma";
	abc[9] = "fo";
	abc[10] = "box";
	abc[11] = "il";
	abc[12] = "al";
	abc = abc[8] + abc[11] + abc[5] + ":" + abc[4] + abc[10] + "@" + abc[7] + abc[3] + abc[4] + "." + abc[2];
	window.location.href = abc;
}