document.write('0582\n');