HASH(0x7fedbe64fde0)