document.write('1310\n');