HASH(0x7fbf4c4d7bf8)