HASH(0x7fedd65a3678)