document.writeln(" 6393 ");