HASH(0x7f5ced24a9f8)