( 13 , 157 .)