HASH(0x7f5ce41727c0)