HASH(0x7f5cecfd48c8)