HASH(0x7fedd65e8858)