/^(?:[0-9*]|[12345]\d)$/