document.write (" 12046 ");