( 13 , 008 .)