HASH(0x7f135de8e950)