4 ( 31 , 001 .)