// JavaScript Document

var before = "";
var after = "";
var text = "";


function doit() {
	text = text.replace("++", "@");
document.write("<" + "a" + " h" + "r" + "e" + "f" + "=" +"\"m" + "a" + "i" + "l" + "t" + "o" + 
			   ":" + before + "@" + after + "\">" + text + "</a>");
}