the string format is "XXXXXX-06-X-1234". how can i trim it so that it removes all the dashes and non-numeric characters? the result after such a trim would be "061234" thanks in advance. ...