HASH(0x7f5c804af3d8)