John is 5 years younger than David. Four years later David will be twice as old as John. Find their present age.​