#!/bin/bash
echo "'00000':  '01005':" | grep -Po "\d{5}(?='?:)"