HASH(0x7f5cc4de0f68)