ماهو الرمز البريدي el astillero (astilleros)?