HASH(0x7f5ca512add8)