HASH(0x7f5cecca1f20)