HASH(0x7f5c8cd0ef30)