HASH(0x7f5cde09ac30)