HASH(0x7f5cde2f1bd8)