HASH(0x7fedf851b140)