document.write('1070\n');