( 13 s 7)