some spanish versions reduce them to six thousand