HASH(0x7fedce7de0e0)