HASH(0x7fedc257ca18)