HASH(0x7f5ca2af05e0)