HASH(0x7fedc402b4e8)