( s 7>