document.write('6717 ');