document.write('1270\n');