document.write (" 6838 ");