HASH(0x7fedea6d3808)