Baby Tiger went to bed at 10.15 p.m. and got up at 7.25 a.m. Baby Donkey went to bed 40 minutes earlier and got up 20 minutes later. How much time did baby Donkey sleep?