"2"^^ . . . . . . . . "succ."@it .