Про оформлення пенсії державному службовцю.

Допоможіть будь ласка визначити дату звільнення з роботи держслужбовця в звязку з виходом на пенсію. У нас в управлінні освіти працює головний спеціаліст, яка вирішила піти на пенсію з державної служби (тобто на пенсію держслужбовця). ЇЇ дата народження 07.08.1957 року. У неї стажу державної служби 11 років. Тобто згідно нової пенсійної реформи вона має право піти на пенсію у 56 років (07.08.2013 року).Перед цим вона бере щорічну відпустку з 04 липня по 09 серпня. У заяві вона не зазначає про звільнення. Коли я повинна оформити ій звільненя у звязку з оформленням пенсії. Чи 09.08.2013 року , але трееба бути добавити в заяві про відпустку фразу з послідуючим вивільненням у останній день відпустки 09.08.2013 року. Чи вона має право вийти 12 серпня 2013 року і написати заяву про звільнення з 12.08.2013 року у звязку з виходом на пенсію .Вона має право піти на пенсію і необовязково 09.08.2013 року. У неї ж не має гранічного віку перебування на службі???
Допоможіть і підскажіть. Заяв повинно бути дві чи одна. І як оформити правильно наказ??