how what is the length of the coast of the home country of joão lyra filho ?
7,491 kilometers