( 16 , 137 .)