document.write (" 6715 ");