import xmlrpclib

server = xmlrpclib.ServerProxy('https://localhost:8443')
print server.add(1,2)
print server.div(10,4)