HASH(0x7f131de79c28)