HASH(0x7f5cccc8b328)