In a Java environment, how do I convert a pattern like 'ABC: 1230-00' to '1230'?  The following pattern I believe will work to get '1230-00', but I can't figure out how to remove the '-00' part.  Thanks.

Remove 'ABC:' part: (?<=ABC:?\s{0,2})\\d{2}00-00