HASH(0x7f5cc40cc3d8)