document.writeln(" 12056 ");