function write_a_(){
	document.write("@");
}