HASH(0x7fedd65e4e68)