HASH(0x7fedce6e05d8)