util_radius.cpp

   1 /*
   2  * Copyright (c) 2010, JANET(UK)
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  *
   9  * 1. Redistributions of source code must retain the above copyright
  10  *    notice, this list of conditions and the following disclaimer.
  11  *
  12  * 2. Redistributions in binary form must reproduce the above copyright
  13  *    notice, this list of conditions and the following disclaimer in the
  14  *    documentation and/or other materials provided with the distribution.
  15  *
  16  * 3. Neither the name of JANET(UK) nor the names of its contributors
  17  *    may be used to endorse or promote products derived from this software
  18  *    without specific prior written permission.
  19  *
  20  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  21  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  22  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  23  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  24  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  25  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  26  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  27  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  28  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  29  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  30  * SUCH DAMAGE.
  31  */
  32
  33 #include "gssapiP_eap.h"
  34
  35 static gss_buffer_desc radiusUrnPrefix = {
  36     sizeof("urn:x-radius:") - 1,
  37     (void *)"urn:x-radius:"
  38 };
  39
  40 static bool
  41 radiusAllocHandle(const char *configFile,
  42                   rc_handle **pHandle)
  43 {
  44     rc_handle *rh;
  45
  46     *pHandle = NULL;
  47
  48     if (configFile == NULL || configFile[0] == '\0')
  49         configFile = RC_CONFIG_FILE;
  50
  51     rh = rc_read_config((char *)configFile);
  52     if (rh == NULL) {
  53         rc_config_free(rh);
  54         return false;
  55     }
  56
  57     if (rc_read_dictionary(rh, rc_conf_str(rh, (char *)"dictionary")) != 0) {
  58         rc_config_free(rh);
  59         return false;
  60     }
  61
  62     *pHandle = rh;
  63     return true;
  64 }
  65
  66 VALUE_PAIR *
  67 gss_eap_radius_attr_provider::copyAvps(const VALUE_PAIR *src)
  68 {
  69     const VALUE_PAIR *vp;
  70     VALUE_PAIR *dst = NULL, **pDst = &dst;
  71
  72     for (vp = src; vp != NULL; vp = vp->next) {
  73         VALUE_PAIR *vp2;
  74
  75         vp2 = (VALUE_PAIR *)GSSEAP_CALLOC(1, sizeof(*vp2));
  76         if (vp2 == NULL) {
  77             rc_avpair_free(dst);
  78             return NULL;
  79         }
  80         memcpy(vp2, vp, sizeof(*vp));
  81         vp2->next = NULL;
  82         *pDst = vp2;
  83         pDst = &vp2->next;
  84     }
  85
  86     return dst;
  87 }
  88
  89 gss_eap_radius_attr_provider::gss_eap_radius_attr_provider(void)
  90 {
  91     m_rh = NULL;
  92     m_avps = NULL;
  93     m_authenticated = false;
  94 }
  95
  96 gss_eap_radius_attr_provider::~gss_eap_radius_attr_provider(void)
  97 {
  98     if (m_rh != NULL)
  99         rc_config_free(m_rh);
 100     if (m_avps != NULL)
 101         rc_avpair_free(m_avps);
 102 }
 103
 104 bool
 105 gss_eap_radius_attr_provider::allocRadHandle(const std::string &configFile)
 106 {
 107     m_configFile.assign(configFile);
 108
 109     return radiusAllocHandle(m_configFile.c_str(), &m_rh);
 110 }
 111
 112 bool
 113 gss_eap_radius_attr_provider::initFromExistingContext(const gss_eap_attr_ctx *manager,
 114                                                       const gss_eap_attr_provider *ctx)
 115 {
 116     const gss_eap_radius_attr_provider *radius;
 117
 118     if (!gss_eap_attr_provider::initFromExistingContext(manager, ctx))
 119         return false;
 120
 121     radius = static_cast<const gss_eap_radius_attr_provider *>(ctx);
 122
 123     if (!allocRadHandle(radius->m_configFile))
 124         return false;
 125
 126     if (radius->m_avps != NULL)
 127         m_avps = copyAvps(radius->getAvps());
 128
 129     return true;
 130 }
 131
 132 bool
 133 gss_eap_radius_attr_provider::initFromGssContext(const gss_eap_attr_ctx *manager,
 134                                                  const gss_cred_id_t gssCred,
 135                                                  const gss_ctx_id_t gssCtx)
 136 {
 137     std::string configFile(RC_CONFIG_FILE);
 138
 139     if (!gss_eap_attr_provider::initFromGssContext(manager, gssCred, gssCtx))
 140         return false;
 141
 142     if (gssCred != GSS_C_NO_CREDENTIAL && gssCred->radiusConfigFile != NULL)
 143         configFile.assign(gssCred->radiusConfigFile);
 144
 145     if (!allocRadHandle(configFile))
 146         return false;
 147
 148     if (gssCtx != GSS_C_NO_CONTEXT) {
 149         if (gssCtx->acceptorCtx.avps != NULL) {
 150             m_avps = copyAvps(gssCtx->acceptorCtx.avps);
 151             if (m_avps == NULL)
 152                 return false;
 153         }
 154     }
 155
 156     return true;
 157 }
 158
 159 static bool
 160 alreadyAddedAttributeP(std::vector <std::string> &attrs, VALUE_PAIR *vp)
 161 {
 162     for (std::vector<std::string>::const_iterator a = attrs.begin();
 163          a != attrs.end();
 164          ++a) {
 165         if (strcmp(vp->name, (*a).c_str()) == 0)
 166             return true;
 167     }
 168
 169     return false;
 170 }
 171
 172 static bool
 173 isHiddenAttributeP(int attrid, int vendor)
 174 {
 175     bool ret = false;
 176
 177     switch (vendor) {
 178     case VENDOR_ID_MICROSOFT:
 179         switch (attrid) {
 180         case VENDOR_ATTR_MS_MPPE_SEND_KEY:
 181         case VENDOR_ATTR_MS_MPPE_RECV_KEY:
 182             ret = true;
 183             break;
 184         default:
 185             break;
 186         }
 187     case VENDOR_ID_UKERNA:
 188         ret = true;
 189         break;
 190     default:
 191         break;
 192     }
 193
 194     return ret;
 195 }
 196
 197 bool
 198 gss_eap_radius_attr_provider::getAttributeTypes(gss_eap_attr_enumeration_cb addAttribute, void *data) const
 199 {
 200     VALUE_PAIR *vp;
 201     std::vector <std::string> seen;
 202
 203     for (vp = m_avps; vp != NULL; vp = vp->next) {
 204         gss_buffer_desc attribute;
 205         char attrid[64];
 206         if (isHiddenAttributeP(ATTRID(vp->attribute), VENDOR(vp->attribute)))
 207             continue;
 208
 209         if (alreadyAddedAttributeP(seen, vp))
 210             continue;
 211
 212         snprintf(attrid, sizeof(attrid), "%s%d",
 213             (char *)radiusUrnPrefix.value, vp->attribute);
 214
 215         attribute.value = attrid;
 216         attribute.length = strlen(attrid);
 217
 218         if (!addAttribute(this, &attribute, data))
 219             return false;
 220
 221         seen.push_back(std::string(vp->name));
 222     }
 223
 224     return true;
 225 }
 226
 227 void
 228 gss_eap_radius_attr_provider::setAttribute(int complete,
 229                                            const gss_buffer_t attr,
 230                                            const gss_buffer_t value)
 231 {
 232 }
 233
 234 void
 235 gss_eap_radius_attr_provider::deleteAttribute(const gss_buffer_t value)
 236 {
 237 }
 238
 239 bool
 240 gss_eap_radius_attr_provider::getAttribute(const gss_buffer_t attr,
 241                                            int *authenticated,
 242                                            int *complete,
 243                                            gss_buffer_t value,
 244                                            gss_buffer_t display_value,
 245                                            int *more) const
 246 {
 247     OM_uint32 tmpMinor;
 248     gss_buffer_desc strAttr = GSS_C_EMPTY_BUFFER;
 249     DICT_ATTR *d;
 250     int attrid;
 251     char *s;
 252
 253     /* XXX vendor */
 254     duplicateBuffer(*attr, &strAttr);
 255     s = (char *)strAttr.value;
 256
 257     if (attr->length < radiusUrnPrefix.length ||
 258         memcmp(s, radiusUrnPrefix.value, radiusUrnPrefix.length) != 0)
 259         return false;
 260
 261     s += radiusUrnPrefix.length;
 262
 263     if (isdigit(*s)) {
 264         attrid = strtoul(s, NULL, 10);
 265     } else {
 266         d = rc_dict_findattr(m_rh, (char *)s);
 267         if (d == NULL) {
 268             gss_release_buffer(&tmpMinor, &strAttr);
 269             return false;
 270         }
 271         attrid = d->value;
 272     }
 273
 274     gss_release_buffer(&tmpMinor, &strAttr);
 275
 276     return getAttribute(attrid, authenticated, complete,
 277                         value, display_value, more);
 278 }
 279
 280 static bool
 281 isPrintableAttributeP(VALUE_PAIR *vp)
 282 {
 283     size_t i;
 284     int gotChar = 0;
 285
 286     for (i = 0; i < sizeof(vp->strvalue); i++) {
 287         if (gotChar && vp->strvalue[i] == '\0')
 288             return true;
 289
 290         if (!isprint(vp->strvalue[i]))
 291             return false;
 292
 293         if (!gotChar)
 294             gotChar++;
 295     }
 296
 297     return true;
 298 }
 299
 300 bool
 301 gss_eap_radius_attr_provider::getAttribute(int attrid,
 302                                            int vendor,
 303                                            int *authenticated,
 304                                            int *complete,
 305                                            gss_buffer_t value,
 306                                            gss_buffer_t display_value,
 307                                            int *more) const
 308 {
 309     OM_uint32 tmpMinor;
 310     VALUE_PAIR *vp;
 311     int i = *more, count = 0;
 312     char name[NAME_LENGTH + 1];
 313     char displayString[AUTH_STRING_LEN + 1];
 314     gss_buffer_desc valueBuf = GSS_C_EMPTY_BUFFER;
 315     gss_buffer_desc displayBuf = GSS_C_EMPTY_BUFFER;
 316
 317     *more = 0;
 318
 319     if (isHiddenAttributeP(attrid, vendor))
 320         return false;
 321
 322     if (i == -1)
 323         i = 0;
 324
 325     for (vp = rc_avpair_get(m_avps, attrid, vendor);
 326          vp != NULL;
 327          vp = rc_avpair_get(vp->next, attrid, vendor)) {
 328         if (count++ == i) {
 329             if (rc_avpair_get(vp->next, attrid, vendor) != NULL)
 330                 *more = count;
 331             break;
 332         }
 333     }
 334
 335     if (vp == NULL && *more == 0)
 336         return false;
 337
 338     if (vp->type == PW_TYPE_STRING) {
 339         valueBuf.value = (void *)vp->strvalue;
 340         valueBuf.length = vp->lvalue;
 341     } else {
 342         valueBuf.value = (void *)&vp->lvalue;
 343         valueBuf.length = 4;
 344     }
 345
 346     if (value != GSS_C_NO_BUFFER)
 347         duplicateBuffer(valueBuf, value);
 348
 349     if (display_value != GSS_C_NO_BUFFER &&
 350         isPrintableAttributeP(vp)) {
 351         if (rc_avpair_tostr(m_rh, vp, name, NAME_LENGTH,
 352                             displayString, AUTH_STRING_LEN) != 0) {
 353             gss_release_buffer(&tmpMinor, value);
 354             return false;
 355         }
 356
 357         displayBuf.value = (void *)displayString;
 358         displayBuf.length = strlen(displayString);
 359
 360         duplicateBuffer(displayBuf, display_value);
 361     }
 362
 363     if (authenticated != NULL)
 364         *authenticated = m_authenticated;
 365     if (complete != NULL)
 366         *complete = true;
 367
 368     return true;
 369 }
 370
 371 bool
 372 gss_eap_radius_attr_provider::getFragmentedAttribute(int attribute,
 373                                                      int vendor,
 374                                                      int *authenticated,
 375                                                      int *complete,
 376                                                      gss_buffer_t value) const
 377 {
 378     OM_uint32 major, minor;
 379
 380     major = getBufferFromAvps(&minor, m_avps, attribute, vendor, value, TRUE);
 381
 382     if (authenticated != NULL)
 383         *authenticated = m_authenticated;
 384     if (complete != NULL)
 385         *complete = true;
 386
 387     return !GSS_ERROR(major);
 388 }
 389
 390 bool
 391 gss_eap_radius_attr_provider::getAttribute(int attrid,
 392                                            int *authenticated,
 393                                            int *complete,
 394                                            gss_buffer_t value,
 395                                            gss_buffer_t display_value,
 396                                            int *more) const
 397 {
 398
 399     return getAttribute(ATTRID(attrid), VENDOR(attrid),
 400                         authenticated, complete,
 401                         value, display_value, more);
 402 }
 403
 404 gss_any_t
 405 gss_eap_radius_attr_provider::mapToAny(int authenticated,
 406                                        gss_buffer_t type_id) const
 407 {
 408     if (authenticated && !m_authenticated)
 409         return (gss_any_t)NULL;
 410
 411     return (gss_any_t)copyAvps(m_avps);
 412 }
 413
 414 void
 415 gss_eap_radius_attr_provider::releaseAnyNameMapping(gss_buffer_t type_id,
 416                                                     gss_any_t input) const
 417 {
 418     rc_avpair_free((VALUE_PAIR *)input);
 419 }
 420
 421 bool
 422 gss_eap_radius_attr_provider::init(void)
 423 {
 424     gss_eap_attr_ctx::registerProvider(ATTR_TYPE_RADIUS,
 425                                        "urn:ietf:params:gss-eap:radius-avp",
 426                                        gss_eap_radius_attr_provider::createAttrContext);
 427     return true;
 428 }
 429
 430 void
 431 gss_eap_radius_attr_provider::finalize(void)
 432 {
 433     gss_eap_attr_ctx::unregisterProvider(ATTR_TYPE_RADIUS);
 434 }
 435
 436 gss_eap_attr_provider *
 437 gss_eap_radius_attr_provider::createAttrContext(void)
 438 {
 439     return new gss_eap_radius_attr_provider;
 440 }
 441
 442 OM_uint32
 443 addAvpFromBuffer(OM_uint32 *minor,
 444                  rc_handle *rh,
 445                  VALUE_PAIR **vp,
 446                  int type,
 447                  int vendor,
 448                  gss_buffer_t buffer)
 449 {
 450     if (rc_avpair_add(rh, vp, type,
 451                       buffer->value, buffer->length, vendor) == NULL) {
 452         return GSS_S_FAILURE;
 453     }
 454
 455     return GSS_S_COMPLETE;
 456 }
 457
 458 OM_uint32
 459 getBufferFromAvps(OM_uint32 *minor,
 460                   VALUE_PAIR *vps,
 461                   int type,
 462                   int vendor,
 463                   gss_buffer_t buffer,
 464                   int concat)
 465 {
 466     VALUE_PAIR *vp;
 467     unsigned char *p;
 468
 469     buffer->length = 0;
 470     buffer->value = NULL;
 471
 472     vp = rc_avpair_get(vps, type, vendor);
 473     if (vp == NULL)
 474         return GSS_S_UNAVAILABLE;
 475
 476     do {
 477         buffer->length += vp->lvalue;
 478     } while (concat && (vp = rc_avpair_get(vp->next, type, vendor)) != NULL);
 479
 480     buffer->value = GSSEAP_MALLOC(buffer->length);
 481     if (buffer->value == NULL) {
 482         *minor = ENOMEM;
 483         return GSS_S_FAILURE;
 484     }
 485
 486     p = (unsigned char *)buffer->value;
 487
 488     for (vp = rc_avpair_get(vps, type, vendor);
 489          concat && vp != NULL;
 490          vp = rc_avpair_get(vp->next, type, vendor)) {
 491         memcpy(p, vp->strvalue, vp->lvalue);
 492         p += vp->lvalue;
 493     }
 494
 495     *minor = 0;
 496     return GSS_S_COMPLETE;
 497 }
 498
 499 OM_uint32
 500 gssEapRadiusAttrProviderInit(OM_uint32 *minor)
 501 {
 502     return gss_eap_radius_attr_provider::init()
 503         ? GSS_S_COMPLETE : GSS_S_FAILURE;
 504 }
 505
 506 OM_uint32
 507 gssEapRadiusAttrProviderFinalize(OM_uint32 *minor)
 508 {
 509     gss_eap_radius_attr_provider::finalize();
 510     return GSS_S_COMPLETE;
 511 }
 512
 513 OM_uint32
 514 gssEapRadiusAllocHandle(OM_uint32 *minor,
 515                         const gss_cred_id_t cred,
 516                         rc_handle **pHandle)
 517 {
 518     const char *configFile = NULL;
 519
 520     *pHandle = NULL;
 521
 522     if (cred != GSS_C_NO_CREDENTIAL && cred->radiusConfigFile != NULL)
 523         configFile = cred->radiusConfigFile;
 524
 525     if (!radiusAllocHandle(configFile, pHandle))
 526         return GSS_S_FAILURE;
 527
 528     return GSS_S_COMPLETE;
 529 }
 530
 531 /*
 532  * Encoding is:
 533  * 4 octet NBO attribute ID | 4 octet attribute length | attribute data
 534  */
 535 static size_t
 536 avpSize(const VALUE_PAIR *vp)
 537 {
 538     size_t size = 4 + 1;
 539
 540     if (vp != NULL)
 541         size += (vp->type == PW_TYPE_STRING) ? vp->lvalue : 4;
 542
 543     return size;
 544 }
 545
 546 static bool
 547 avpExport(rc_handle *rh,
 548           const VALUE_PAIR *vp,
 549           unsigned char **pBuffer,
 550           size_t *pRemain)
 551 {
 552     unsigned char *p = *pBuffer;
 553     size_t remain = *pRemain;
 554
 555     assert(remain >= avpSize(vp));
 556
 557     store_uint32_be(vp->attribute, p);
 558
 559     if (vp->type == PW_TYPE_STRING) {
 560         assert(vp->lvalue <= AUTH_STRING_LEN);
 561         p[4] = (uint8_t)vp->lvalue;
 562         memcpy(p + 5, vp->strvalue, vp->lvalue);
 563     } else {
 564         p[4] = 4;
 565         store_uint32_be(vp->lvalue, p + 5);
 566     }
 567
 568     *pBuffer += 5 + p[4];
 569     *pRemain -= 5 + p[4];
 570
 571     return true;
 572
 573 }
 574
 575 static bool
 576 avpImport(rc_handle *rh,
 577           VALUE_PAIR **pVp,
 578           unsigned char **pBuffer,
 579           size_t *pRemain)
 580 {
 581     unsigned char *p = *pBuffer;
 582     size_t remain = *pRemain;
 583     VALUE_PAIR *vp;
 584     DICT_ATTR *d;
 585
 586     if (remain < avpSize(NULL))
 587         return false;
 588
 589     vp = (VALUE_PAIR *)GSSEAP_CALLOC(1, sizeof(*vp));
 590     if (vp == NULL) {
 591         throw new std::bad_alloc;
 592         return false;
 593     }
 594
 595     vp->attribute = load_uint32_be(p);
 596     p += 4;
 597     remain -= 4;
 598
 599     d = rc_dict_getattr(rh, vp->attribute);
 600     if (d == NULL)
 601         goto fail;
 602
 603     assert(sizeof(vp->name) == sizeof(d->name));
 604     strcpy(vp->name, d->name);
 605     vp->type = d->type;
 606
 607     if (remain < p[0])
 608         goto fail;
 609
 610     if (vp->type == PW_TYPE_STRING) {
 611         if (p[0] > AUTH_STRING_LEN)
 612             goto fail;
 613
 614         vp->lvalue = (uint32_t)p[0];
 615         memcpy(vp->strvalue, p + 1, vp->lvalue);
 616         vp->strvalue[vp->lvalue] = '\0';
 617         p += 1 + vp->lvalue;
 618         remain -= 1 + vp->lvalue;
 619     } else {
 620         if (p[0] != 4)
 621             goto fail;
 622
 623         vp->lvalue = load_uint32_be(p + 1);
 624         p += 5;
 625         remain -= 5;
 626     }
 627
 628     *pVp = vp;
 629     *pBuffer = p;
 630     *pRemain = remain;
 631
 632     return true;
 633
 634 fail:
 635     GSSEAP_FREE(vp);
 636     return false;
 637 }
 638
 639 bool
 640 gss_eap_radius_attr_provider::initFromBuffer(const gss_eap_attr_ctx *ctx,
 641                                              const gss_buffer_t buffer)
 642 {
 643     unsigned char *p = (unsigned char *)buffer->value;
 644     size_t remain = buffer->length;
 645     OM_uint32 configFileLen, count;
 646     VALUE_PAIR **pNext = &m_avps;
 647
 648     if (!gss_eap_attr_provider::initFromBuffer(ctx, buffer))
 649         return false;
 650
 651     if (remain < 4)
 652         return false;
 653
 654     configFileLen = load_uint32_be(p);
 655     p += 4;
 656     remain -= 4;
 657
 658     if (remain < configFileLen)
 659         return false;
 660
 661     std::string configFile((char *)p, configFileLen);
 662     p += configFileLen;
 663     remain -= configFileLen;
 664
 665     if (!allocRadHandle(configFile))
 666         return false;
 667
 668     if (remain < 4)
 669         return false;
 670
 671     count = load_uint32_be(p);
 672     p += 4;
 673     remain -= 4;
 674
 675     do {
 676         VALUE_PAIR *attr;
 677
 678         if (!avpImport(m_rh, &attr, &p, &remain))
 679             return false;
 680
 681         *pNext = attr;
 682         pNext = &attr->next;
 683
 684         count--;
 685     } while (remain != 0);
 686
 687     if (count != 0)
 688         return false;
 689
 690     return true;
 691 }
 692
 693 void
 694 gss_eap_radius_attr_provider::exportToBuffer(gss_buffer_t buffer) const
 695 {
 696     OM_uint32 count = 0;
 697     VALUE_PAIR *vp;
 698     unsigned char *p;
 699     size_t remain = 4 + m_configFile.length() + 4;
 700
 701     for (vp = m_avps; vp != NULL; vp = vp->next) {
 702         remain += avpSize(vp);
 703         count++;
 704     }
 705
 706     buffer->value = GSSEAP_MALLOC(remain);
 707     if (buffer->value == NULL) {
 708         throw new std::bad_alloc;
 709         return;
 710     }
 711     buffer->length = remain;
 712
 713     p = (unsigned char *)buffer->value;
 714
 715     store_uint32_be(m_configFile.length(), p);
 716     p += 4;
 717     remain -= 4;
 718
 719     memcpy(p, m_configFile.c_str(), m_configFile.length());
 720     p += m_configFile.length();
 721     remain -= m_configFile.length();
 722
 723     store_uint32_be(count, p);
 724     p += 4;
 725     remain -= 4;
 726
 727     for (vp = m_avps; vp != NULL; vp = vp->next) {
 728         avpExport(m_rh, vp, &p, &remain);
 729     }
 730
 731     assert(remain == 0);
 732 }
 733
 734 time_t
 735 gss_eap_radius_attr_provider::getExpiryTime(void) const
 736 {
 737     VALUE_PAIR *vp;
 738
 739     vp = rc_avpair_get(m_avps, PW_SESSION_TIMEOUT, 0);
 740     if (vp == NULL || vp->lvalue == 0)
 741         return 0;
 742
 743     return time(NULL) + vp->lvalue;
 744 }