HASH(0x7f5ce4b9af30)