HASH(0x7f5ceabf0dd8)