HASH(0x55ceb80cdd38)