HASH(0x7f5cc0fce2e8)