NUMBER: "/^\\d+$/" = '/^\\d+$/'