Software for locating an electronic device by means of a cloud server