/*function write() { document.writeln("