HASH(0x7f5ccc27ef40)