HASH(0x7f5d05cd80f8)