document.writeln('Texino:
');