HASH(0x7fedce59c670)