HASH(0x7fedfa578d38)