function writeDate() {
	var d = new Date();
	var weekday = new Array("Sun","Mon","Tues","Wed","Thurs","Fri","Sat");
	var monthname = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
	document.write(weekday[d.getDay()] + " " + d.getDate() + " " + monthname[d.getMonth()] + " " + d.getFullYear());
}
function safeMail(user,domain) {
	url = "mailto:" + user + "@" + domain;
	window.open(url,"email");
	//window.location.href = "mailto:" + user + "@" + domain;
}