document.write('1306\n');