De tijd, gedurende welke de ambtenaar krachtens wettelijk voorschrift verlof geniet ter vervulling van militaire of daar- voor in de plaats tredende dienst, wordt in aanmerking genomen voor de vaststelling van het salarisnummer, onverminderd hetgeen overigens dienaangaande in de verordening is vermeld.