HASH(0x7fedde684958)