DES for HP48?