document.write (" 6841 ");