document.write('6707\n');