HASH(0x55ceb52ed128)