如何输入一个6-12位的字符串呢？

#include"stdio.h"
void main()
{
    char a[20];
    printf("请输入字符串:");
    gets(a);//这行和下一行的两个钟你可以选择一个输入的方法，这两个都可以，他们只是有一点细微的变化,已输入不加空格的字符串时都可以用！
    //scanf("%s",a);
    printf("输入的字符串为:%s",a);
}

额，这我知道。。。。
范围是6-12，不在范围内的要提示输入无效

//我打2楼的改了,试下是不是这样
#include"stdio.h"
#include"string"
void main()
{
    char a[20];
    printf("请输入字符串:");
    gets(a);
    if(strlen(a)>=6&&strlen(a)<=12)
    printf("输入的字符串为:%s/n",a);
    else printf("输入无效");
}

谢谢了，strlen这个函数没学过

我想问下那些库函数怎么学？
我自学的

strlen的头文件是#include"string.h"
功能：计算字符串a的( int型）长度 　　
说明：返回a的长度，不包括结束符'\0'