There are 3 doctors for every 1000 people. How many doctors are needed for 4000?​