ماهو الرمز البريدي san cristobal (el puerto)?