document.write('6713 ');