Refactoring.
replace POSIXTime with Int
Changed phases.