HASH(0x7fedc4f64380)