document.write (" 6719 ");