( 8 , 012 .)