document.write('0584\n');