HASH(0x7f5cc42c79d0)