HASH(0x7f5cc80e1f00)