ماهو الرمز البريدي pedregal de san jose?