HASH(0x7fedcc025978)