Replaced uint64 with uint