Mary is twice as old as John and half as old as Bob. In 22 years' time, Bob will be twice as old as John. How old is Mary?