HASH(0x7fedea6d8048)