HASH(0x7f5cac58d9a0)