document.writeln(" 4048 ");