( 13 , S7S .)