Checking the length using awk??

I have following data in a file a.txt

HELLO123456789
HELLO098765432
HELLO322366565
HELLO2343435
HELLO45343

I have to filter those lines whose length is not equal to 14 using awk.

Thanks in advance:b:

There are tons of guide, howtos etc on the net, even some machines have man page for awk installed. Check for the "length" function.