HASH(0x7fee08ac5d48)