The regular duty hours would be 7:30 a.m. to 3:30 p.m. Monday through Friday, per the agreement. PAGE A3