`"""\d\d\d\d""".toRegex()).matches("1234")`

# announcements

[Nikky]

"""\d\d\d\d""".toRegex()).matches("1234")