document.write (" 6923 ");