( 13 , 145 .)