HASH(0x7f5d00ce4b40)