function write_mail ()
{
	var chiocciola = "@"
	var indirizzo = "info"+chiocciola+"ristorantedho.it";
	var link1 = "<a href=\"mailto:"+indirizzo+"\">"+indirizzo+"</a>"
	document.write(link1)
}