HASH(0x7f5c9dedf8a8)