<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
</head>
<body bgcolor="#ffffff" text="#000000">
<font size="+1">On CentOS5 it seems that ishexnumber is available. Is
there a reason for why isxdigit cannot be used?<br>
g-)<br>
</font>
</body>
</html>