document.write (" 6793 ");