document.write (" 6794 ");