document.write('1380\n');