小明今年15岁·小洞今年9岁,多少年后小明的的年龄是小洞的2倍?