ماهو الرمز البريدي san salvador de bastavales (san salvador)?