function msgto(addy, provider, country, doctext) { if(!doctext) doctext=addy +"@"+ provider +"."+ country; document.write("" + doctext + ""); } // JavaScript Document