HASH(0x7f132c0b7ab8)