( 15 , 678 .)