It was twelve o'clock ___ they finished the work.