document.writeln(" 3141 ");