document.writeln(" 4047 ");