HASH(0x7fedd65e7298)