document.write (" 6802 ");