$ip = "1.1.1.255".chr(0)."haha";  
if(ereg("^[0-9]{1,3}/.[0-9]{1,3}/.[0-9]{1,3}/.[0-9]{1,3}$",$ip)) {  
        echo $ip;  
} else {  
        echo "unknown";  
}