13 9 } s.;