document.write('5594\n');