ماهو الرمز البريدي castro (san martino)?