document.write (" 6831 ");