Vacation Pay and Recognized. Holiday Pay shall be credited to the employee at the percentage of his basic pay as set forth below. Basic pay shall be defined as the total dollar sum of all hours worked (including hours credited for overtime premiums) multiplied by the applicable net straight time hourly rate. (i.e. exclusive of employee benefit and other contributions). The applicable percentage shall be:
