HASH(0x7f5ccc823f00)