document.write('5542\n');