def decode_ip_addr(address_int):
	"""decodes a 32-bit int into IP octets (for DCC use)"""
	ip_octets = []
	if((address_int > 0xffffffff) or (address_int < 0)):
		ip_octets = ["0","0","0","0"]
	else:
		ip_octets.append(str((address_int & 0xff000000) >> 24))
		ip_octets.append(str((address_int & 0x00ff0000) >> 16))
		ip_octets.append(str((address_int & 0x0000ff00) >> 8))
		ip_octets.append(str((address_int & 0x000000ff)))
	return ".".join(ip_octets)