HASH(0x7f5d00bd1768)