Zufall.

Zufall, sofern es nicht zweimal mit dem selben Host war, denn dann könnte der Zufallsgenerator nicht korrekt initialisiert worden sein.

Sollten aber noch mehr mit Pink solche Probleme haben, dann könnte auch der Zufallsgenerator für Pink an sich buggy sein.