document.write('5586\n');