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