document.write(' 6717 ');