( 13 , 123 .)