changes to implement saving time in int