Весной 1945 года ходила шутка, что от Восточного фронта к Западному легче всего добраться с помощью ИКСА. Какое название носил ИКС в произведении 1947 года?