document.write('1340\n');