HASH(0x7fedda5eb558)