function get(id)
{
	if (document.getElementById)
		return document.getElementById(id);
	else
		return false;
}
function dm(mail)
{
	while(mail.indexOf("$")!=-1) mail=mail.replace("$","@");
	while(mail.indexOf("*")!=-1) mail=mail.replace("*",".");
	document.write('<a href="m'+'a'+'i'+'l'+'t'+'o:'+mail+'\">'+mail+'<\/a>');
}