document.write('6967\n');