. . . 4 , 000: