function mail()
{ 
	var cry0,cry1,cry2,cry3,cry4,cry5,cry6,cry7,cry8,cry9; 
	cry1='<a href=\"mai'; 
	cry2='info'; 
	cry3='\">'; 
	cry1+='lto:'; 
	cry2+='@'; 
	cry5='</a>'; 
	cry6='<font class=direccion style="color: #AC103D; text-decoration: underline;">info@autosmancebo.es</font>'; 
	cry2+='autosmancebo.es'; 
	if (cry6) cry4=cry6; else cry4=cry2 ; document.write(cry1+cry2+cry3+cry4+cry5);
}