HASH(0x7f5cf41af7e0)