HASH(0x7fedd65e4330)