PHP sources for the "Trikot-Totto" tottomat