HASH(0x7f5ce2bfcdd0)