HASH(0x7f5cce7e42c0)