document.write (" 6843 ");