HASH(0x7f7ab45842c8)