HASH(0x7fedec58ecf0)