Про оплату сокращенного рабочего дня

А как правильно рассчитывается зарплата за сокращенный рабочий день (по ст. 93, ребенку до 14 лет)?
Я знаю, что "сокращенный рабочий день оплачивается исходя из должностного оклада пропорционально фактически отработанному времени."
Но меня интересует формула, для особо одарённых в математике. :-)
Если за 8-часовой рабочий день оклад был 10 тысяч в месяц, то за 7-часовой рабочий день он какой будет?