关于#字符串#的问题，如何解决？

问题：输出结果有问题。
目的：从键盘输入若干个字符串，输出其中最大的字符串。

#include
#include
#include
#include
void main()
{
    char a1[100], a2[100] ;
    printf("请输入:\n");
    gets(a1);
    gets(a2);
    do
    {
        if(strcmp(a1,a2)<0);
        strcpy(a1, a2);
        gets(a2);
    } while (strcmp(a2, ""));
    printf("最大的字符串为%s\n", a1);
    system("pause");
}

if语句后面的分号删掉