document.write (" 6745 ");