//<script language="javascript">
var pr1 = "mai";
var pr2 = "lto:";
var	att = "@";
function ml(adr, dm) {
	document.location = pr1 + pr2 + adr + att + dm;
}
