( 1012 , 6>