13 : s *;