document.write('1021\n');