document.write('0580\n');