document.write (" 6875 ");