HASH(0x7fb5c94daf40)