document.write (" 6871 ");