Aus welchen Zahlen resultieren die Namen der Picon *.png-Dateien?