HASH(0x7fedd25ae8a8)