HASH(0x7f3874ca5d20)