HASH(0x7f5cb5eb4278)