document.writeln('Texino: ');