document.write('2340\n');