problem in nawk : case insensitive pattern matching

HI,

My file contains data something like

034500,5,B5004946544EB185,DEFAULT,0

Now i want to do a pettern match for DEFAULT and remove that particular line from file and transfer the rest contents to temp file.But my req is i want to do case insensitive matching ie DEFAULT / default.

I know how to do it with grep command like grep -i "DEFAULT" but i am interested in using nawk command. PFB the command i am using

nawk -F "," '!/DEFAULT/' file > temp
awk 'BEGIN{ IGNORECASE = 1; }
  /ant/' << EOF
ant
ANT
Ant
bat
cat
dog
EOF

ant
ANT
Ant

somthg like

awk 'tolower($0)!~/default/' infile>outfile

The solution above works only with gawk.

Another one:

awk -F, 'toupper($4) != "DEFAULT"' file > temp
grep -vi default infile > outfile
awk 'tolower($0)!~/default/' infile>outfile
awk 'toupper($0)!~/DEFAULT/' infile>outfile

Use nawk if on solaris