document.write('344910\n');