请问一个简单的gawk问题

fenglinux321

在http://www.chinaunix.net/jh/7/16985.html　中有个awk的例子：
例：下面的例子演示了函数的使用。在这个示例中，定义了一个名为print_header的函数，该函数调用了两个参数FileName和 PageNum，FileName参数传给函数当前使用的文件名，PageNum参数是当前页的页号。这个函数的功能是打印（显示）出当前文件的文件名，和当前页的页号。完成这个功能后，这个函数将返回下一页的页号。
nawk                  //我的机器只有gawk，于是我将nawk改成了gawk
>'BEGIN{pageno=1;file=FILENAME 　　／／此处的FILENAME是系统设定的吗？我换成我自己的文件名(shipped) 就不行了
>pageno=print_header(file，pageno)；#调用函数print_header
>printf("当前页页号是：%d\n",pageno);
>}
>#定义函数print_header
>function print_header(FileName,PageNum){
>printf("%s %d\n",FileName,PageNum); >PageNum++;return PageNUm;
>}
>}' myfile              //我将myfile改为自己的文件：shipped.txt
执行这个程序将显示如下内容：
myfile 1
当前页页号是：2
＿＿修改以及运行结果如下：
# gawk 'BEGIN {pageno=1; file=FILENAME
pageno = print_header(file,pageno); #调用函数print_header
printf("　当前页号是：　%d\n ", pageno);
}
#定义函数print_header
function print_header(FileName, PageNum) {
printf(" %s%d\n", FileName, PageNum);
PageNum++;return PageNum;
}' shipped.txt
1
　当前页号是：　2
＿＿为什么我没有输出文件名呢？程序中的FILENAME是怎么回事呢?
谢谢指教