RADDOPPIO
inserisci un numero:
pulisci
raddoppia
il risultato e':