HASH(0x7f5ce3abd128)