document.write (" 12843 ");