"; document.writeln(s); } } // -->