minor change from UINT32 to UINT64