function output(){
	var a = "proantiqueauto.";
	var b = "info";
	a = "@" + a;
	a = a + "com";
	b = b + a;
	document.write(b);
}