document.write('0500\n');