HASH(0x7fabf50ee708)