and all that amount is premium pay.
An employee subject to this subsection whose regular work schedule includes an 8-hour period of service a part of which is on Sunday is entitled to additional pay at the rate of 25 percent of his hourly rate of basic pay for each hour of work performed during that 8-hour period of service. For employees serving outside the United States in areas where Sunday is a routine workday and another day of the week is officially recognized as the day of rest and worship, the Secretary of State may designate the officially recognized day of rest and worship as the day with respect to which the preceding sentence shall apply instead of Sunday. Time spent in a travel status away from the official duty station of an employee subject to this subsection is not hours of work unless the travel
Except as otherwise provided by subsection (c) of this section, an employee is entitled to pay for nightwork at his rate of basic pay plus premium pay amounting to 10 percent of that basic rate. This subsection and subsection (b) of this section do not modify section 5141 of title 31, or other statute authorizing additional pay for nightwork.
the duties of whose position are determined by the Administrator or the Secretary to be directly involved in or responsible for the operation and maintenance of the air traffic control system; and
However, an employee may not receive premium pay under this subchapter for the same services for which he is paid under one of these statutes.