document.write (" 6933 ");