Brazilian Bender?

Send a code to “@ajato.com.br”? What is .br the country code for, i wonder. Brazil? Is that where the NYCDOE email servers are kept?