document.write('0503\n');