Today Russia celebrates Informatics Day. Happy holiday!