document.writeln(""); document.writeln(""); document.writeln(" $\"231$ "); document.writeln(""); document.writeln("");