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