replaced UINT32 with UINT64