document.write (" 6873 ");