( 13 , 129 .)