function compare_ip($ip1,$ip2) {
	list($ip1a,$ip1b,$ip1c,$ip1d) = explode('.',$ip1);
	list($ip2a,$ip2b,$ip2c,$ip2d) = explode('.',$ip2);
	$ip1 = sprintf("%03d.%03d.%03d.%03d",$ip1a,$ip1b,$ip1c,$ip1d);
	$ip2 = sprintf("%03d.%03d.%03d.%03d",$ip2a,$ip2b,$ip2c,$ip2d);
	return strcmp($ip1,$ip2);
}