HASH(0x7f5cfa24c4f0)