document.write('1394\n');