Normal
Noch eleganter ist, eine Liste mit den Zahlen 1..12 zu füllen und dann [c]Collections.shuffle[/c] aufzurufen.