/* ============================================================
   MÜLLER LIVING — DESIGN SYSTEM OVERLAY
   Load AFTER style.css. Defines shared tokens and unifies the
   look of headers, cards, buttons, and detail pages site-wide.
   Palette: navy (logo) + brass accent, warm-grey neutrals.
   ============================================================ */

:root {
    /* Brand */
    --navy:        #1a2b4a;
    --navy-soft:   #2a3f64;
    --brass:       #b08d57;
    --brass-dark:  #957542;

    /* Neutrals (warm grey) */
    --ink:         #1c2230;
    --body:        #4a5160;
    --muted:       #8a8f9c;
    --line:        #e6e3dd;
    --surface:     #ffffff;
    --canvas:      #f7f5f1;

    /* Type */
    --serif: 'Inter', -apple-system, BlinkMacSystemFont, sans-serif; /* unified: no serif */
    --sans:  'Inter', -apple-system, BlinkMacSystemFont, sans-serif;

    /* Shape & depth */
    --radius:   14px;
    --radius-sm: 8px;
    --shadow:   0 4px 24px rgba(26, 43, 74, 0.08);
    --shadow-h: 0 12px 36px rgba(26, 43, 74, 0.16);

    /* Rhythm */
    --container: 1180px;
    --gap: 28px;
}

/* ---- Base ---- */
body {
    font-family: var(--sans);
    color: var(--body);
    background: var(--canvas);
    -webkit-font-smoothing: antialiased;
}

h1, h2, h3 { color: var(--ink); }

/* style.css forces `main { margin:0 !important; padding:0 !important; width:100% }`
   to let the homepage hero span full width. We keep main full-width, and center
   page content with a single .page-wrap container inside each view. */
main { width: 100% !important; }

.page-wrap {
    max-width: var(--container);
    margin: 0 auto;
    padding: 48px 24px 80px;
    box-sizing: border-box;
}
@media (max-width: 760px) {
    .page-wrap { padding: 32px 18px 60px; }
}

/* ============================================================
   SHARED PAGE HEADER  (eyebrow + serif title + rule)
   Use on listing / content pages for a consistent masthead.
   ============================================================ */
.page-head { margin-bottom: 40px; }
.page-head .eyebrow {
    font-size: 12px;
    letter-spacing: 0.18em;
    text-transform: uppercase;
    color: var(--brass-dark);
    font-weight: 600;
    margin-bottom: 10px;
}
.page-head h1,
.list-title {
    font-family: var(--serif);
    font-weight: 600;
    font-size: clamp(32px, 4vw, 46px);
    line-height: 1.05;
    color: var(--ink);
    margin: 0;
}
.list-title { margin-bottom: 32px; }

/* ============================================================
   LISTING GRID & CARDS  (Kauf / Miete / Neubau / Properties)
   ============================================================ */
.list-grid {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
    gap: var(--gap);
}

.list-card {
    display: flex;
    flex-direction: column;
    background: var(--surface);
    border: 1px solid var(--line);
    border-radius: var(--radius);
    overflow: hidden;
    text-decoration: none;
    color: inherit;
    box-shadow: var(--shadow);
    transition: transform 0.25s ease, box-shadow 0.25s ease;
}
.list-card:hover {
    transform: translateY(-4px);
    box-shadow: var(--shadow-h);
}

.list-image-wrapper {
    position: relative;
    aspect-ratio: 3 / 2;
    overflow: hidden;
    background: var(--canvas);
}
.list-image-wrapper img {
    width: 100%; height: 100%;
    object-fit: cover;
    display: block;
    transition: transform 0.5s ease;
}
.list-card:hover .list-image-wrapper img { transform: scale(1.05); }

.badge {
    position: absolute; top: 14px; left: 14px;
    padding: 6px 12px;
    border-radius: 999px;
    font-size: 12px;
    font-weight: 600;
    letter-spacing: 0.04em;
    color: #fff;
    backdrop-filter: blur(4px);
}
.badge-new      { background: var(--brass); }
.badge-reserved { background: var(--navy-soft); }
.badge-sold     { background: #9a3b3b; }

.list-info { padding: 22px 22px 24px; display: flex; flex-direction: column; gap: 10px; }
.list-info h3 {
    font-family: var(--serif);
    font-weight: 600;
    font-size: 21px;
    line-height: 1.25;
    margin: 0;
    color: var(--ink);
}
.list-meta { font-size: 14px; color: var(--muted); }
.list-price {
    margin-top: 4px;
    font-size: 20px;
    font-weight: 600;
    color: var(--navy);
}
.list-price::first-line { color: var(--navy); }

/* ============================================================
   PROPERTY DETAIL PAGE
   ============================================================ */
.property-hero {
    background-size: cover;
    background-position: center;
    height: 520px;
    border-radius: var(--radius);
    position: relative;
    margin-bottom: 44px;
    box-shadow: var(--shadow);
}
.property-hero::after {
    content: "";
    position: absolute; inset: 0;
    border-radius: var(--radius);
    background: linear-gradient(180deg, rgba(0,0,0,0) 45%, rgba(26,43,74,0.65) 100%);
}
.property-hero .hero-card {
    position: absolute; bottom: 32px; left: 32px; right: 32px;
    z-index: 2;
    color: #fff;
}
.property-hero .hero-card h1 {
    font-family: var(--serif);
    font-weight: 600;
    font-size: clamp(28px, 3.4vw, 40px);
    line-height: 1.08;
    color: #fff;
    margin: 0 0 8px;
    max-width: 70%;
    text-shadow: 0 2px 18px rgba(0,0,0,0.4);
}
.property-hero .hero-loc {
    font-size: 17px; opacity: 0.92; margin-bottom: 14px;
}
.property-hero .hero-price {
    display: inline-block;
    background: var(--brass);
    color: #fff;
    font-size: 22px;
    font-weight: 600;
    padding: 10px 20px;
    border-radius: 999px;
}

.section-label {
    font-family: var(--serif);
    font-size: 26px;
    font-weight: 600;
    color: var(--ink);
    margin: 0 0 18px;
}

.facts-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 16px;
    margin-bottom: 48px;
}
.facts-grid .fact {
    background: var(--surface);
    border: 1px solid var(--line);
    padding: 18px 20px;
    border-radius: var(--radius-sm);
}
.facts-grid .fact .k {
    font-size: 12px;
    letter-spacing: 0.1em;
    text-transform: uppercase;
    color: var(--brass-dark);
    font-weight: 600;
    margin-bottom: 6px;
}
.facts-grid .fact .v {
    font-size: 18px;
    color: var(--ink);
    font-weight: 500;
}

.gallery {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 14px;
    margin-bottom: 48px;
}
.gallery a { display: block; aspect-ratio: 1; border-radius: var(--radius-sm); overflow: hidden; }
.gallery img {
    width: 100%; height: 100%;
    object-fit: cover;
    transition: transform 0.4s ease;
}
.gallery a:hover img { transform: scale(1.08); }

.property-desc {
    line-height: 1.75;
    font-size: 17px;
    color: var(--body);
    margin-bottom: 48px;
    max-width: 70ch;
}
.property-desc p { margin: 0 0 1em; }

#map {
    height: 420px;
    border-radius: var(--radius);
    margin-bottom: 22px;
    box-shadow: var(--shadow);
}

/* ============================================================
   BUTTONS  (one system everywhere)
   ============================================================ */
.btn {
    display: inline-block;
    font-family: var(--sans);
    font-weight: 600;
    font-size: 15px;
    padding: 13px 26px;
    border-radius: 999px;
    text-decoration: none;
    cursor: pointer;
    border: 1px solid transparent;
    transition: background 0.2s ease, color 0.2s ease, transform 0.1s ease;
}
.btn:active { transform: translateY(1px); }
.btn-primary { background: var(--navy); color: #fff; }
.btn-primary:hover { background: var(--navy-soft); }
.btn-accent { background: var(--brass); color: #fff; }
.btn-accent:hover { background: var(--brass-dark); }
.btn-outline { background: transparent; color: var(--navy); border-color: var(--navy); }
.btn-outline:hover { background: var(--navy); color: #fff; }

/* ============================================================
   STATIC CONTENT PAGE  (About etc.)
   ============================================================ */
.page-content {
    max-width: 72ch;
    line-height: 1.8;
    font-size: 17px;
    color: var(--body);
}
.page-content h2 { font-family: var(--serif); margin-top: 1.6em; }
.page-content p { margin: 0 0 1.1em; }
.page-content a { color: var(--brass-dark); }

/* ============================================================
   CONTACT  (align to the system; refine existing rules)
   ============================================================ */
.contact-page h1 { font-family: var(--serif); }
.contact-form { box-shadow: var(--shadow); border-color: var(--line); }
.contact-submit { background: var(--navy); border-radius: 999px; }
.contact-submit:hover { background: var(--navy-soft); }
.contact-form input:focus,
.contact-form textarea:focus {
    border-color: var(--brass);
    box-shadow: 0 0 0 3px rgba(176, 141, 87, 0.18);
}

/* ============================================================
   NAV / FOOTER refinements (consistent brand colour)
   ============================================================ */
.menu a { font-weight: 500; color: var(--navy); }
.menu a:hover { color: var(--brass-dark); }
/* ============================================================
   FOOTER (compact, modern)
   ============================================================ */
.footer {
    background: #1f3355 !important;   /* slightly lighter navy so the logo reads */
    color: #c3ccdb;
    margin-top: 0;
    padding: 0;   /* old style.css set 50px 40px; padding now lives on inner */
}
.footer-inner {
    max-width: var(--container);
    margin: 0 auto;
    padding: 26px 24px 24px;
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 24px;
    flex-wrap: wrap;
}
.footer-brand {
    display: flex;
    align-items: center;
    gap: 20px;
}
.footer-logo {
    height: 58px;
    width: auto;
    display: block;
    /* Brighten the blue logo so it stands out on the dark footer */
    filter: brightness(0) invert(1);
    opacity: 0.92;
}
.footer-addr {
    margin: 0;
    font-size: 14px;
    line-height: 1.5;
    color: #aeb8ca;
    align-self: center;
}
.footer-links {
    display: flex;
    flex-wrap: wrap;
    gap: 24px;
}
.footer-links a {
    color: #d5dbe6;
    text-decoration: none;
    font-size: 14px;
    font-weight: 500;
    transition: color 0.15s;
}
.footer-links a:hover { color: var(--brass); }

.footer-copy {
    border-top: 1px solid rgba(255,255,255,0.10);
    text-align: center;
    padding: 12px 24px;
    font-size: 12px;
    color: #8b96ab;
}

@media (max-width: 640px) {
    .footer-inner {
        flex-direction: column;
        align-items: flex-start;
        gap: 22px;
        padding: 30px 20px 24px;
    }
    .footer-links { gap: 18px; }
}

/* ============================================================
   RESPONSIVE
   ============================================================ */
@media (max-width: 760px) {
    .facts-grid { grid-template-columns: repeat(2, 1fr); }
    .gallery { grid-template-columns: repeat(2, 1fr); }
    .property-hero { height: 380px; }
    .property-hero .hero-card h1 { max-width: 100%; }
    main { padding: 36px 18px 60px; }
}
@media (max-width: 440px) {
    .facts-grid { grid-template-columns: 1fr; }
}

/* ============================================================
   COMPATIBILITY OVERRIDES
   style.css uses several `!important` background rules; match
   that specificity so the design tokens actually take effect.
   ============================================================ */
html, body { background: var(--canvas) !important; }

/* ============================================================
   LISTING FILTER BAR
   ============================================================ */
.filter-bar {
    display: flex;
    flex-wrap: wrap;
    align-items: flex-end;
    gap: 16px;
    background: var(--surface);
    border: 1px solid var(--line);
    border-radius: var(--radius);
    box-shadow: var(--shadow);
    padding: 20px 22px;
    margin-bottom: 22px;
}
.filter-field {
    display: flex;
    flex-direction: column;
    gap: 6px;
    min-width: 140px;
}
.filter-field.filter-grow { flex: 1 1 240px; }
.filter-field label {
    font-size: 12px;
    font-weight: 600;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    color: var(--brass-dark);
}
.filter-field input,
.filter-field select {
    height: 44px;
    padding: 0 12px;
    border: 1px solid var(--line);
    border-radius: var(--radius-sm);
    font-size: 15px;
    font-family: inherit;
    color: var(--ink);
    background: #fff;
    box-sizing: border-box;
    transition: border-color 0.15s, box-shadow 0.15s;
}
.filter-field input:focus,
.filter-field select:focus {
    outline: none;
    border-color: var(--brass);
    box-shadow: 0 0 0 3px rgba(176, 141, 87, 0.18);
}
.filter-actions {
    display: flex;
    align-items: center;
    gap: 14px;
    min-width: 140px;
}
.filter-actions .btn { height: 44px; line-height: 18px; }
.filter-reset {
    font-size: 14px;
    color: var(--muted);
    text-decoration: none;
}
.filter-reset:hover { color: var(--navy); text-decoration: underline; }

.results-count {
    font-size: 14px;
    color: var(--muted);
    margin: 0 0 22px;
}

@media (max-width: 760px) {
    .filter-bar { padding: 16px; gap: 12px; }
    .filter-field { min-width: calc(50% - 6px); flex: 1 1 calc(50% - 6px); }
    .filter-field.filter-grow { flex-basis: 100%; }
    .filter-actions { flex-basis: 100%; }
    .filter-actions .btn { flex: 1; }
}

/* ============================================================
   LIGHTBOX (property gallery overlay)
   ============================================================ */
.gallery-item { cursor: pointer; }

.lightbox {
    display: none;
    position: fixed;
    inset: 0;
    z-index: 2000;
    background: rgba(15, 20, 30, 0.92);
    align-items: center;
    justify-content: center;
}
.lightbox.open { display: flex; }

.lb-img {
    max-width: 90vw;
    max-height: 86vh;
    border-radius: 6px;
    box-shadow: 0 10px 50px rgba(0,0,0,0.5);
    user-select: none;
}

.lb-close, .lb-prev, .lb-next {
    position: absolute;
    background: rgba(255,255,255,0.12);
    color: #fff;
    border: none;
    cursor: pointer;
    display: flex;
    align-items: center;
    justify-content: center;
    transition: background 0.15s;
    -webkit-tap-highlight-color: transparent;
}
.lb-close:hover, .lb-prev:hover, .lb-next:hover {
    background: rgba(255,255,255,0.25);
}
.lb-close {
    top: 22px; right: 26px;
    width: 46px; height: 46px;
    border-radius: 50%;
    font-size: 30px;
    line-height: 1;
}
.lb-prev, .lb-next {
    top: 50%;
    transform: translateY(-50%);
    width: 54px; height: 54px;
    border-radius: 50%;
    font-size: 24px;
}
.lb-prev { left: 24px; }
.lb-next { right: 24px; }

.lb-counter {
    position: absolute;
    bottom: 24px;
    left: 50%;
    transform: translateX(-50%);
    color: #fff;
    font-size: 15px;
    background: rgba(0,0,0,0.4);
    padding: 6px 16px;
    border-radius: 999px;
}

@media (max-width: 600px) {
    .lb-prev, .lb-next { width: 44px; height: 44px; font-size: 20px; }
    .lb-prev { left: 10px; }
    .lb-next { right: 10px; }
    .lb-close { top: 14px; right: 14px; }
}

/* ============================================================
   MODERN CTA BANNER (homepage)
   ============================================================ */
.cta-modern {
    background: var(--navy) !important;
    position: relative;
    overflow: hidden;
    margin-top: 20px;
}
/* Subtle brass accent shape, top-right */
.cta-modern::before {
    content: "";
    position: absolute;
    top: -80px;
    right: -60px;
    width: 320px;
    height: 320px;
    background: radial-gradient(circle, rgba(176,141,87,0.28) 0%, rgba(176,141,87,0) 70%);
    pointer-events: none;
}
.cta-modern::after {
    content: "";
    position: absolute;
    left: 0; bottom: 0;
    width: 100%;
    height: 4px;
    background: var(--brass);
}
.cta-modern-inner {
    position: relative;
    max-width: 760px;
    margin: 0 auto;
    padding: 72px 24px 80px;
    text-align: center;
    color: #fff;
}
.cta-modern-eyebrow {
    font-size: 13px;
    letter-spacing: 0.2em;
    text-transform: uppercase;
    font-weight: 600;
    color: var(--brass);
    margin-bottom: 16px;
}
.cta-modern h2 {
    color: #fff;
    font-size: clamp(28px, 4vw, 42px);
    line-height: 1.1;
    margin: 0 0 18px;
}
.cta-modern p {
    color: #cdd4e0;
    font-size: 18px;
    line-height: 1.7;
    max-width: 560px;
    margin: 0 auto 32px;
}
.cta-modern-btn {
    display: inline-block;
    background: var(--brass);
    color: #fff;
    font-weight: 600;
    font-size: 16px;
    padding: 15px 34px;
    border-radius: 999px;
    text-decoration: none;
    transition: background 0.2s ease, transform 0.1s ease;
}
.cta-modern-btn:hover {
    background: var(--brass-dark);
    transform: translateY(-2px);
}
.cta-modern-btn:active { transform: translateY(0); }

@media (max-width: 600px) {
    .cta-modern-inner { padding: 56px 20px 60px; }
}

/* ============================================================
   HEADER HAMBURGER DROPDOWN (DE / EN / Admin)
   ============================================================ */
.header-menu {
    position: relative;
    display: flex;
    align-items: center;
}

.hamburger {
    width: 42px;
    height: 42px;
    border: 1px solid var(--line);
    background: #fff;
    border-radius: 10px;
    cursor: pointer;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    gap: 5px;
    padding: 0;
    transition: border-color 0.15s;
}
.hamburger:hover { border-color: var(--navy); }
.hamburger span {
    display: block;
    width: 20px;
    height: 2px;
    background: var(--navy);
    border-radius: 2px;
    transition: transform 0.25s ease, opacity 0.2s ease;
}
/* animate to an X when open */
.hamburger.open span:nth-child(1) { transform: translateY(7px) rotate(45deg); }
.hamburger.open span:nth-child(2) { opacity: 0; }
.hamburger.open span:nth-child(3) { transform: translateY(-7px) rotate(-45deg); }

.header-dropdown {
    position: absolute;
    top: calc(100% + 10px);
    right: 0;
    min-width: 160px;
    background: #fff;
    border: 1px solid var(--line);
    border-radius: 12px;
    box-shadow: 0 10px 30px rgba(26,43,74,0.14);
    padding: 12px;
    opacity: 0;
    visibility: hidden;
    transform: translateY(-6px);
    transition: opacity 0.18s ease, transform 0.18s ease, visibility 0.18s;
    z-index: 1000;
}
.header-dropdown.open {
    opacity: 1;
    visibility: visible;
    transform: translateY(0);
}
.hd-langs {
    display: flex;
    gap: 8px;
    margin-bottom: 10px;
}
.hd-langs a {
    flex: 1;
    text-align: center;
    padding: 8px 0;
    border: 1px solid var(--line);
    border-radius: 8px;
    text-decoration: none;
    color: var(--navy);
    font-weight: 600;
    font-size: 14px;
    transition: background 0.15s, color 0.15s;
}
.hd-langs a:hover { background: var(--canvas); }
.hd-langs a.active {
    background: var(--navy);
    color: #fff;
    border-color: var(--navy);
}
.hd-admin {
    display: block;
    text-align: center;
    padding: 9px 0;
    background: var(--brass);
    color: #fff;
    border-radius: 8px;
    text-decoration: none;
    font-weight: 600;
    font-size: 14px;
    transition: background 0.15s;
}
.hd-admin:hover { background: var(--brass-dark); }

/* ============================================================
   HEADER LOGO — slightly larger
   ============================================================ */
.logo-img {
    height: 74px;
}

/* ============================================================
   PROPERTY INQUIRY / ACTIONS
   ============================================================ */
.property-actions {
    display: flex;
    flex-wrap: wrap;
    gap: 14px;
    margin-top: 24px;
}
.btn-inquire { font-size: 16px; padding: 15px 30px; }

.contact-ref {
    background: var(--navy);
    color: #fff;
    padding: 16px 20px;
    border-radius: var(--radius-sm);
    margin-bottom: 22px;
    font-size: 15px;
    line-height: 1.5;
}
.contact-ref strong { color: var(--brass); }

@media (max-width: 500px) {
    .property-actions .btn { flex: 1; text-align: center; }
}

/* ============================================================
   SCROLL REVEAL (fade + rise as sections enter the viewport)
   ============================================================ */
.reveal {
    opacity: 0;
    transform: translateY(36px);
    transition: opacity 0.7s ease, transform 0.7s ease;
    will-change: opacity, transform;
}
.reveal.is-visible {
    opacity: 1;
    transform: none;
}
/* Respect users who prefer reduced motion — show instantly, no animation */
@media (prefers-reduced-motion: reduce) {
    .reveal { opacity: 1; transform: none; transition: none; }
}

/* ============================================================
   HERO SEARCH OVERLAY (on the slider)
   ============================================================ */
.hero-slider { position: relative; }

.hero-search {
    position: absolute;
    inset: 0;
    z-index: 5;
    display: flex;
    align-items: center;
    justify-content: center;
    pointer-events: none;               /* let slider arrows stay clickable */
    padding: 20px;
}
/* darken the slide a touch so text/panel read clearly */
.hero-search::before {
    content: "";
    position: absolute; inset: 0;
    background: linear-gradient(180deg, rgba(15,22,38,0.15), rgba(15,22,38,0.45));
}
.hero-search-inner {
    position: relative;
    text-align: center;
    max-width: 860px;
    width: 100%;
    pointer-events: auto;               /* but the panel itself is interactive */
}
.hero-search-title {
    color: #fff;
    font-size: clamp(28px, 4.4vw, 48px);
    line-height: 1.1;
    margin: 0 0 10px;
    text-shadow: 0 2px 20px rgba(0,0,0,0.4);
}
.hero-search-sub {
    color: #eef2f8;
    font-size: clamp(15px, 2vw, 19px);
    margin: 0 0 26px;
    text-shadow: 0 1px 12px rgba(0,0,0,0.4);
}
.hero-search-form {
    display: flex;
    gap: 10px;
    background: rgba(255,255,255,0.96);
    padding: 12px;
    border-radius: 14px;
    box-shadow: 0 16px 44px rgba(0,0,0,0.28);
    flex-wrap: wrap;
}
.hsf-field { flex: 1 1 150px; display: flex; }
.hsf-field.hsf-grow { flex: 2 1 220px; }
.hsf-field select,
.hsf-field input {
    width: 100%;
    height: 50px;
    padding: 0 14px;
    border: 1px solid var(--line);
    border-radius: 9px;
    font-size: 15px;
    font-family: inherit;
    color: var(--ink);
    background: #fff;
}
.hsf-field select:focus,
.hsf-field input:focus {
    outline: none;
    border-color: var(--brass);
    box-shadow: 0 0 0 3px rgba(176,141,87,0.18);
}
.hsf-btn {
    flex: 0 0 auto;
    height: 50px;
    padding: 0 32px;
    background: var(--navy);
    color: #fff;
    border: none;
    border-radius: 9px;
    font-size: 16px;
    font-weight: 600;
    cursor: pointer;
    transition: background 0.2s ease;
}
.hsf-btn:hover { background: var(--navy-soft); }

@media (max-width: 640px) {
    .hero-search-form { flex-direction: column; }
    .hsf-field, .hsf-btn { flex: 1 1 auto; width: 100%; }
    .hsf-btn { padding: 0; }
}

/* ============================================================
   HERO SLIDER — full-bleed (edge to edge, no side gutters)
   ============================================================ */
.hero-slider-wrapper,
.mySwiper {
    background: transparent !important;
    margin: 0 !important;
    padding: 0 !important;
    line-height: 0;          /* kills the inline-image baseline gap */
}
.hero-slider {
    width: 100% !important;
    max-width: none !important;   /* was 1400px — remove the side gutters */
    margin: 0 !important;
    padding: 0 !important;
    border-radius: 0 !important;  /* full-bleed looks better without rounding */
}
.mySwiper .swiper-wrapper { margin: 0 !important; }
.hero-slider img,
.mySwiper .swiper-slide img {
    width: 100% !important;
    height: 560px;
    object-fit: cover;
    object-position: center 30%;   /* shift down so the banded top edge is cropped */
    display: block;
    margin: 0 !important;
    vertical-align: top;
}
@media (max-width: 700px) {
    .hero-slider img,
    .mySwiper .swiper-slide img { height: 460px; }
}