HASH(0x7fedc2715af8)