int times