document.writeln(" 693 ");