document.write('7786\n');