HASH(0x7f5cfb78d7d8)