document.write('1316\n');