p: : t:s , alltrgS