function linie(x) { if (document.all) x.blur(); }
