document.write('1210\n');