Поисковая система Lycos продана за 12,5 миллиарда долларов