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