document.write('0501\n');