HASH(0x7f5cde6245b8)