( 8 , 001 .)