+if [ "$name" == "dinh" ]; then
+ name="hoa";
+fi;
+if [ "$name" == "f" -o "$name" == "darkok" ]; then
+ name="darko";
+fi;
+if [ "$name" == "msp" ]; then
+ name="martin";
+fi;
+if [ "$name" == "devel" ]; then
+ name="mones";
+fi;
+if [ "$name" == "hb" ]; then
+ name="holger";
+fi;
+if [ "$name" == "salvatore" ]; then
+ name="iwkse";
+fi;
+
+if [ "$name" == "corn" ]; then
+ name="pawel";
+fi;