import java.math.BigInteger;
import java.util.Date;
import java.util.Random;
import java.util.zip.CRC32;
public class keygen
{
   /**
    * @param s
    * @param i
    * @param bytes
    * @return
    */
   public static short getCRC(String s, int i, byte bytes[])
   {
       CRC32 crc32 = new CRC32();
       if (s != null)
       {
           for (int j = 0; j < s.length(); j++)
           {
               char c = s.charAt(j);
               crc32.update(c);
           }
       }
       crc32.update(i);
       crc32.update(i >> 8);
       crc32.update(i >> 16);
       crc32.update(i >> 24);
       for (int k = 0; k < bytes.length - 2; k++)
       {
           byte byte0 = bytes[k];
           crc32.update(byte0);
       }
       return (short) (int) crc32.getValue();
   }
   /**
    * @param biginteger
    * @return String
    */
   public static String encodeGroups(BigInteger biginteger)
   {
       BigInteger beginner1 = BigInteger.valueOf(0x39aa400L);
       StringBuilder sb = new StringBuilder();
       for (int i = 0; biginteger.compareTo(BigInteger.ZERO) != 0; i++)
       {
           int j = biginteger.mod(beginner1).intValue();
           String s1 = encodeGroup(j);
           if (i > 0)
           {
               sb.append("-");
           }
           sb.append(s1);
           biginteger = biginteger.divide(beginner1);
       }
       return sb.toString();
   }
   /**
    * @param i
    * @return
    */
   public static String encodeGroup(int i)
   {
       StringBuilder sb = new StringBuilder();
       for (int j = 0; j < 5; j++)
       {
           int k = i % 36;
           char c;
           if (k < 10)
           {
               c = (char) (48 + k);
           }
           else
           {
               c = (char) ((65 + k) - 10);
           }
           sb.append(c);
           i /= 36;
       }
       return sb.toString();
   }
   /**
    * @param name
    * @param days
    * @param id
    * @param prtype
    * @return
    */
   public static String MakeKey(String name, int days, int id)
   {
       id %= 100000;
       byte bkey[] = new byte[12];
       bkey[0] = (byte) 1; // Product type: IntelliJ IDEA is 1
       bkey[1] = 13; // version
       Date d = new Date();
       long ld = (d.getTime() >> 16);
       bkey[2] = (byte) (ld & 255);
       bkey[3] = (byte) ((ld >> 8) & 255);
       bkey[4] = (byte) ((ld >> 16) & 255);
       bkey[5] = (byte) ((ld >> 24) & 255);
       days &= 0xffff;
       bkey[6] = (byte) (days & 255);
       bkey[7] = (byte) ((days >> 8) & 255);
       bkey[8] = 105;
       bkey[9] = -59;
       bkey[10] = 0;
       bkey[11] = 0;
       int w = getCRC(name, id % 100000, bkey);
       bkey[10] = (byte) (w & 255);
       bkey[11] = (byte) ((w >> 8) & 255);
       BigInteger pow = new BigInteger("89126272330128007543578052027888001981", 10);
       BigInteger mod = new BigInteger("86f71688cdd2612ca117d1f54bdae029", 16);
       BigInteger k0 = new BigInteger(bkey);
       BigInteger k1 = k0.modPow(pow, mod);
       String s0 = Integer.toString(id);
       String sz = "0";
       while (s0.length() != 5)
       {
           s0 = sz.concat(s0);
       }
       s0 = s0.concat("-");
       String s1 = encodeGroups(k1);
       s0 = s0.concat(s1);
       return s0;
   }
   public static void main(String[] args)
   {
       if (args.length == 0)
       {
           System.err.printf("*** Usage: %s name%n", keygen.class.getCanonicalName());
           System.exit(1);
       }
       Random r = new Random();
       System.out.println(MakeKey(args[0], 0, r.nextInt(100000)));
   }
}