function getAppointmentTimer($devaInsId)
{
    $wsdl = "http://ita-provisioner.cis.fiu.edu:8080/axis2/services/VirtualLabs?wsdl";
    $location = "http://ita-provisioner.cis.fiu.edu:8080/axis2/services/VirtualLabs";
    //$devaInsId = 'c9bfaa50-2036-4b93-a701-848a6671864f';
    try {
        $params = array('devaInsId' => $devaInsId);
        $client = new SoapClient($wsdl, array('location' => $location));
        $result = $client->getEndDate4CurrentDevaIns($params);
    } catch (Exception $e) {
        echo $e->getMessage();
    } catch (SoapFault $soapfault) {
        echo $soapfault->getMessage();
    }
    return $result;
}