Какие-нибудь AppWidgetHost-учебники там?

Вы также можете использовать:

re.findall(r"[0-9]{4,7}", teststring)

, который вернет список всех подстрок, соответствующих вашему регулярному выражению, в вашем случае ['123456']

Если вы интересуется только первой подобранной подстрокой, тогда вы можете записать это как:

next(iter(re.findall(r"[0-9]{4,7}", teststring)), None)