Время, необходимое любому человеку, чтобы выспаться, — это на пять минут больше.