non c'è in flash una funz per convertire un numero in esadecimale?