HASH(0x7fedfa59ca00)