HASH(0x7f5cde52dfd8)