document.write('1379\n');