document.write (" 6807 ");