document.write('1304\n');