Рамблер заботливо сообщил мне, что сегодня - День программиста. Ну что же, с праздником всех программеров!!!