HASH(0x7f5ceca3e4e8)