/[[:xdigit]]+/ and hex( $_) <= 0xFFFF;