HASH(0x7fedca5f8ad8)