( 15 , 001 .)