var okay = {};

okay.mailTo = function() {
	var anchor = document.getElementById( "email" );
	newHref = anchor.getAttribute("href");
	newHref = newHref.replace( /\[at\]/, "@" );
	newHref = newHref.replace( /\[dot\]/, "." );
	anchor.setAttribute("href", newHref );
};