HASH(0x7f5d06cd72a0)