HASH(0x7f13805862c8)