html
{ height: 100%;}


.header {
    background-color: #F1F1F1;
    text-align: center;
    padding: 20px;
}



body
{
    font-weight: normal;
    font-variant: normal;
    font-style: normal;
    font-size: 15px;
    font-family: Patrick+Hand,curve;
    font-size: 15px;
    background-color: black;
    background-image: radial-gradient(white, rgba(255,255,255,.2) 2px, transparent 40px),
            radial-gradient(white, rgba(255,255,255,.15) 1px, transparent 30px),
            radial-gradient(white, rgba(255,255,255,.1) 2px, transparent 40px),
            radial-gradient(rgba(255,255,255,.4), rgba(255,255,255,.1) 2px, transparent 30px);
    background-size: 550px 550px, 350px 350px, 250px 250px, 150px 150px;
    background-position: 0 0, 40px 60px, 130px 270px, 70px 100px;
    color: #555;
    position: center;
    -webkit-font-smoothing: subpixel-antialiased;
    padding-bottom: 5px;

}



backgroundBlock
{
    display: flex;
    margin: 50px auto;

    z-index: 100;
    width: 990px;
    justify-content: center;

    border-radius:5px;
    background: gainsboro;
    border-block-color: black;
    color: #000000;
    padding: 10px 10px 10px 10px;
}

titleBlock
{
    display:block;
    margin: 50px auto;
    margin-top: 0.5px;
    margin-right: 30px;
    text-align: left;
    z-index: 100;

    width: 100%;
    height: 115px;
    border: 1px solid #757474;

    border-radius:4px;


    color: #000000;
    padding: 10px 0 10px 0;
"data/tint-paper.jpeg" width="550" height="305" border-radius:10px;
    background-image: url("data/tint-paper.jpeg");

}



menuBar{
    display:block;
    margin: fill;
    margin-right: 30px;
    margin-left: 10px;
    z-index: 100;
    width: 100%;
    height: 20px;
    border: 1px solid #757474;
    text-align: left;
    border-radius:4px;

    background-color: linen;
    color: #000000;
    padding: 10px 0 10px 0;
}

h
{
    font-weight: normal;
    font-variant: normal;
    font-style: normal;
    font-size: 350%;
    font-family: 'Courgette', cursive;
    ;
    text-shadow: 2px 2px 4px #757474;
    text-align: center;
    margin-bottom: 30px;
    padding-bottom: 30px;
    padding-left: 30px;
}


h1, h2, h3, h4, h5, h6, h7
{ font: normal 250% 'Optima', arial, sans-serif;
    color: #333333;
    text-align: left;
    padding: 5px 0 5px 0;
    padding-left: 10px;
    font-size: 30px}

p
{ padding: 0 20px 20px 0;
    line-height: 1.5em;
    padding-left: 20px;
}



img
{ border: 0;}

h2
{ font: normal 170% 'Yanone Kaffeesatz', arial, sans-serif;
    color: #333333;
    font-weight: bold;
    margin: 0 0 5px 0;
    padding: 0 0 8px 0;}

h3
{ font-size: 150%;
    margin: 0 0 5px 0;
    color: #9e2020;
//ycolor: #444;
}

h4, h5, h6
{ margin-left: 20px;
    margin-top: 5px;
    font: normal 100% 'Optima', arial, sans-serif;
    padding: 0 0 5px 0;
    color: #9e2020;
    line-height: 1em;}

h5, h6
{ font: italic 95% arial, sans-serif;
    color: #404040;
    padding-bottom: 15px;}

h6
{ color: #362C20;}

h7
{
    font: normal 95% 'Optima', arial, sans-serif;
    font-size: 18px;
    margin-left: 30px;
    text-align: left;
    color: #888;
}


a, a:hover
{ outline: none;
    text-decoration: none;
    margin-left: 10px;
    color: #A4401C;}

a:hover
{ text-decoration: underline;}


menubaredit:hover
{ text-decoration: underline;}

menubaredit, menubaredit:hover
{ outline: none;
    text-decoration: none;
    color: #333333;}

.left
{ float: left;
    width: auto;
    margin-right: 10px;}

.right
{ float: right;
    width: auto;
    margin-left: 10px;}

/*
.center
{ display: block;
    text-align: center;
    margin: 20px auto;}

 */


.center {
    display: block;
    text-align: center;
    width: 50%;
    border: 5px black;
    padding: 10px;
    margin: 20px auto;
}

ul
{ margin: 2px 0 22px 17px;}

ul li
{ list-style-type: circle;
    margin: 0 0 0 0;
    padding: 0 5px 4px 5px;
    }

ol
{ margin: 8px 0 22px 20px;}

ol li
{ margin: 0 0 11px 0;}


#main, #header, #logo, #menubar, #site_content, #footer
{ margin-left: auto;
    margin-right: auto;}

#main
{ width: 950px;
    margin: 20px auto;}

#header
{ width: 952px;
    height: 145px;
}

#logo
{ width: 950px;
    float: left;
    height: 100px;
    /*background: url(images/counter1.png) no-repeat;
    background-position: top left;
    background-size: auto 100%;*/
    background: transparent;
    padding: 0 0 0px 10px;}

#logo h1
{
    font-family: Garamond, Baskerville, "Baskerville Old Face", "Hoefler Text", "Times New Roman", serif;
    font-size: 50px;
    padding: 5px 0 0 17px;
    /*text-shadow: 5px 6px 5px rgba(64,64,64,0.2);*/
    color: #aaa;
    float: left;
    /*-webkit-box-reflect: below 3px  -webkit-gradient(linear, left top, left bottom,from(transparent), to(rgba(255, 255, 255, 0.1)));*/
}

#logo h1 a
{ color: #35BDF5;
    text-decoration: none;
}

#logo h1 menubaredit
{ color: #35BDF5;
    text-decoration: none;
}

#logo h1 a:hover
{ color: #555;
    text-decoration: none;}

#logo h1 menubaredit:hover
{ color: #555;
    text-decoration: none;}

.slogan
{
    float: inside;
    text-align: left;
    text-shadow: 5px 6px 5px rgba(64,64,64,0.2);
    font-family: 'Patrick Hand', cursive;
    font-size: 20px;
    font-style: normal;
    font-variant: normal;
    font-weight: 350;
    line-height: 26.4px;
    margin-top: 10px;
    margin-left: 30px;
    margin-bottom: 35px;
    color: #333333;
}

#menubar
{ height: 46px;
    width: 100%;
    margin: 0px auto 0px auto;
    float: none;
    padding: 0 1% 0 0;}

ul#menu
{ float: left;
    margin-left: 10px;
    text-align: left;}

ul#menu li
{ float: left;
    padding: 0 0 0px 0px;
    margin-left: 10px;
    list-style: none;
    /*text-shadow: 5px 6px 5px rgba(64,64,64,0.2);*/
    margin: 2px 0 0 0;
    background: transparent;}

ul#menu li a
{ font: normal 170% 'Yanone Kaffeesatz', sans-serif;
    text-decoration: none;
    margin-left: 10px;
    color: #aaa;
    display: block;
    float: left;
    height: 60px;
    padding: 7px 23px 15px 23px;
    text-align: center;}

ul#menu li menubaredit
{ font: normal 170% 'Yanone Kaffeesatz', sans-serif;
    text-decoration: none;
    color: #aaa;
    display: block;
    float: left;
    height: 60px;
    padding: 7px 23px 15px 23px;
    text-align: left;}


ul#menu li.current a
{ height: 40px;
    padding: 6px 5% 15px 5%;}

ul#menu li.current menubaredit
{ height: 40px;
    padding: 6px 22px 15px 22px;}


ul#menu li.current a
{ background: #fff;
    margin-left: 10px;
    border-top-left-radius: 10px;
    border-top-right-radius: 10px;
    border: 1px solid #ddd;
    border-bottom: 0;
    color: #F14E23;}

ul#menu li.current menubaredit
{ background: #fff;
    border-top-left-radius: 10px;
    border-top-right-radius: 10px;
    border: 1px solid #ddd;
    border-bottom: 0;
    color: #F14E23;}

ul#menu li a:hover
{ color: #F14E23;}

ul#menu li menubaredit:hover
{ color: #F14E23;}




#content
{ width: 935px;
    overflow: hidden;
    min-height:500px;
    background: #fff;
    border: 1px solid #E7E7E7;
    border-radius: 10px;

    float: left;
    text-align: left;

    padding: 10px 10px 10px 10px;
    margin: 0;
    /*box-shadow: 5px 5px 7px rgba(64,64,64,0.2);*/
}

#panoraba {
    clear: both;
}

#sidebar_container
{
    float: left;
    width: 250px;
    min-height: 200px;
    margin: 25px 0 10px 0;

}

.sidebar
{
    width: 200px;
    min-height: 1300px;
    margin: 0 24px 27px 0;
    background: #FFFFF0;
    border: 1px solid #eee;
    padding: 0 15px 15px 15px;
    box-shadow: 7px 5px 5px rgba(64,64,64,0.2);

}


.sidebar h2
{
    font-size: 200%;
}

.sidebar h4
{
    font-size: 140%;
}

.sidebar h2, .content h1
{ padding: 10px 15px;
    margin: 0 1px;}


.sidebar h1
{ padding: 5px 0 0 0;}

.sidebar iframe {
    margin: 10px 2px 1px 2px;
}

.paperpin
{
    float: left;
    position: relative;
    z-index: 0;
    vertical-align: middle;
    margin: -27px 0 -40px -19px;
}

#main_column
{
    float: left;
    text-align: justify;
    width: 670px;
    padding: 0 0 0 5px;
    margin: 0;
}


#content ul
{ margin: 2px 0 22px 0px;}

ul li
{
    list-style-type: none;
    /*background: url(data/rsz_paper-icon.png) no-repeat;*/
    margin: 0 0 6px 0;
    padding: 0 0 4px 25px;
    line-height: 1.5em;
}

#content #filterlist li
{
    background: url(images/document-icon.png) no-repeat;
    padding: 0 0 4px 50px;

    border: solid 1px #fff;
    border-radius: 10px;
}

#content #filterlist li.hot
{
    background: url(images/hot-document.png) no-repeat;
}

#content #software #filterlist li
{
    background: transparent;
    padding: 0 0 4px 0px;

    border: solid 1px #fff;
    border-radius: 10px;
    clear:both;
    overflow:hidden;
}

#content #publications #filterlist li
{
    background: transparent;
    padding: 4px 4px 4px 4px;

    border: solid 1px #fff;
    border-radius: 10px;
    clear:both;
    overflow:hidden;
}


#content #filterlist li:hover
{
    border: solid 1px #555;
    border-radius: 10px;

}

#content #software  #filterlist li:hover
{
    border: solid 1px #555;
    border-radius: 10px;
}

#content #publications  #filterlist li:hover
{
    border: solid 1px #555;
    border-radius: 10px;
}

div.highlighting_section {
    padding: 10px 15px 10px 15px;
    border: solid 1px #fff;
    border-radius: 10px;
}
div.highlighting_section:hover
{
    padding: 10px 15px 10px 15px;
    border: solid 1px #555;
    border-radius: 10px;
}

#footer
{ clear: both;
    width: 100%;
    font: normal 100% 'Optima',  arial, sans-serif;
    height: 85px;
    padding: 0px 10px 5px 0;
    text-align: left;
    verticle-align: top;
    color: #aaa;
    background: transparent;
    margin-bottom: 35px;}

#footer p
{ padding: 10px 10px 10px 10px;
    color: #333333;
    vertical-align: center;
}

#footerleft
{
    float: left;
    align: left;
    margin-left: 20px;
}

#footerright
{
    float: right;
    vertical-align: center;
    margin-right: auto;

}

#footer a, #footer a:hover
{ color: #333333;
    text-decoration: none;}

#footer menubaredit, #footer a:hover
{ color: #333333;
    text-decoration: none;}

#footer a:hover
{ color: #9e2020;
    text-decoration: none;}

#footer menubaredit:hover
{ color: #9e2020;
    text-decoration: none;}

.gallery img
{ position: absolute;}

.form_settings
{ margin: 5px 0 0 0;}

.form_settings p
{ padding: 0 0 10px 0;}

.form_settings span
{ padding: 5px 0;
    float: left;
    width: 170px;
    text-align: left;}

.form_settings input, .form_settings textarea
{ width: 252px;
    font: 100% 'trebuchet ms', arial;
    border: 0;
    border: 1px solid #eee;
    padding: 5px 10px;
    background: #fff;
    color: #FFF;}

.form_settings .submit
{ border: 0;
    width: auto;
    margin: 0 0 0 200px;
    cursor: pointer;
    color: #35BDF5;
    border: 1px solid #ddd;
    padding: 5px 15px;
    background: #fff;
    font: normal 140% 'Yanone Kaffeesatz', sans-serif;}

.form_settings textarea, .form_settings select
{ font: 100% 'trebuchet ms', arial;
    border: 1px solid #eee;
    padding: 5px 10px;
    background: #fff;
    width: 252px;
    overflow: auto;}

.form_settings select
{ width: 274px;}

.form_settings .checkbox
{ margin: 4px 0;
    padding: 0;
    width: 14px;
    border: 0;
    background: none;}

.search
{ color: #666;
    border: 1px solid #eee;
    margin: 0;
    padding: 10px 5px;
    width: 189px;
    color: #F14E23;}

.subscribe
{ color: #35BDF5;
    border: 1px solid #ddd;
    padding: 5px 10px;
    background: #fff;
    float: right;
    cursor: pointer;
    margin: 0;
    font: normal 140% 'Yanone Kaffeesatz', sans-serif;}

table
{ margin-left: auto;
  margin-right:auto;
 font: normal  90% 'Yanone Kaffeesatz', sans-serif;
  
}

table tr th, table tr td
{
    background: gainsboro;
    color: #111;
    padding-left: 24px;
    text-align: left;
    padding-right: "30";
    }



.highlight { background : #ff0; }

.clear { clear:both; }

div.searchbox {
    padding-bottom: 15px;
    padding-top: 15px;
    overflow: hidden;
    padding: 5px;
    margin-bottom: 10px;
    width: 370px;
}

input.searchbox {
    font-size: 12px;
    color: #999;
    padding: 4px 10px 5px 30px;
    width: 313px;
    border: 1px solid #ddd;
    background: url(images/search.png) center left no-repeat ;
    background-size: 17px 17px;
    float:left;
    border-radius:6px;
}
a.searchbox {
    padding: 4px 10px 5px 10px;
    height:15px;
    float:right;
    display: inline-block;
    background: url(images/clear.png) center right no-repeat ;
    z-index: 0;
    position: relative;
    vertical-align: middle;
    left:-20px;
    margin: 0 0px 0 -70px;
}

menubaredit.searchbox {
    padding: 4px 10px 5px 10px;
    height:15px;
    float:right;
    display: inline-block;
    background: url(images/clear.png) center right no-repeat ;
    z-index: 0;
    position: relative;
    vertical-align: middle;
    left:-20px;
    margin: 0 0px 0 -70px;
}

.pubtitle {
    font-size: 120%;
    margin: 0 0 3px 0;
    /*color: #444;   */
    color: #F14E23;
}

.pubauthors {
    font: 95% arial, sans-serif;
    margin: 0 0 3px 0;
}
.pubjournal {
    font: italic 95% arial, sans-serif;
    color: #888;
    padding-left: 25px;
}


.pubabstract {
    padding: 0 100px 0px 10px;
    border-style:solid;
    border-right:none;
    border-bottom:none;
    border-top:none;
    display:none;
    font: 90% arial, sans-serif;
    /*display:none;*/
}

.software-image {
    float:left;
    margin: 8px 10px 10px 10px;
    border: 1px solid #555;
}




/*
SLIDESHOW:
 */

/* Next & previous buttons */
.prev, .next {
    cursor: pointer;
    position: absolute;
    top: 50%;
    width: 0%;
    padding: 16px;
    margin-top: -22px;
    color: black;
    font-weight: bold;
    font-size: 18px;
    transition: 0.6s ease;
    border-radius: 0 3px 3px 0;
    user-select: none;
}

/* Position the "next button" to the right */
.next {
    right: 0;
    border-radius: 3px 0 0 3px;
}

/* On hover, add a black background color with a little bit see-through */
.prev:hover, .next:hover {
    background-color: rgba(0,0,0,0.8);
}


/* Number text (1/3 etc) */
.numbertext {
    color: #333333;
    background-color: lightgray;
    border-radius:8px;
    font-size: 12px;
    padding: 8px 12px;
    position: absolute;
    margin-left: 10px;
    margin-top: 10px;
    top: 0;
}

/* The dots/bullets/indicators */
.dot {
    cursor: pointer;
    height: 15px;
    width: 15px;
    margin: 0 2px;
    background-color: #bbb;
    border-radius: 50%;
    display: inline-block;
    transition: background-color 0.6s ease;
}

.active, .dot:hover {
    background-color: #717171;
}

/* Fading animation */
.fade {
    -webkit-animation-name: fade;
    -webkit-animation-duration: 2s;
    animation-name: fade;
    animation-duration: 2s;
    margin: 1em auto;

}

.mySlides {
    display: none;
    margin: 1em auto;
}

.boxed {
    position: relative;
    border: 1px solid grey ;
    border-radius: 7px;
    margin-bottom: 50px;
    margin-left: 15px;
    height: 95%;
    width: 95%;
    background: #dcffff;
}

textBlock
{
    height: 120px;
    width: 94.5%;
    border:1px solid #ccc;
    font:16px/26px Georgia, Garamond, Serif;
    overflow:auto;
    display: block;
    border-radius:7px;
    background: #dcffff;
    border-block-color: darkgrey;
    color: #000000;
    position: absolute;
    bottom: 0;

}

@-webkit-keyframes fade {
    from {opacity: .4}
    to {opacity: 1}
}

@keyframes fade {
    from {opacity: .4}
    to {opacity: 1}
}








#content #slides {
    position: relative;
    margin-left: 70px;
    margin-bottom: 50px;
    display:block;
    z-index: 100;
    width:550px;
    height: 305px;
    border: 1px solid #757474;
    border-radius:0px;

    background: rgb(247,249,252); /* Old browsers */
    background: -moz-linear-gradient(top, rgba(247,249,252,1) 0%, rgba(218,233,239,1) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(247,249,252,1)), color-stop(100%,rgba(218,233,239,1))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top, rgba(247,249,252,1) 0%,rgba(218,233,239,1) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top, rgba(247,249,252,1) 0%,rgba(218,233,239,1) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top, rgba(247,249,252,1) 0%,rgba(218,233,239,1) 100%); /* IE10+ */
    background: linear-gradient(top, rgba(247,249,252,1) 0%,rgba(218,233,239,1) 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#f7f9fc', endColorstr='#dae9ef',GradientType=0 ); /* IE6-9 */

}


#content .slides_container {
    display:block;
    height: 305px;
    margin: 0;
}

#content .slides_container img {
    display: block;
    border: 1px solid #555;
    float: right;
    margin-left: 3px;
    margin-bottom: 3px;
    margin-right: 0;
}



#content #slides .prev {
    margin-left: 10px;
    margin-right: 10px;
    margin-top:2px;
    float:left;
}
#content #slides .next {
    margin-right: 10px;
    margin-top:2px;
    float:left;
}

#content #slides .slide {
    padding:15px;
    width:620px;
    height:330px;
    display:block;
    float:left;
}

#content .pagination {
    margin:6px 0 6px;
    float: right;
    list-style: none;
}

#content .pagination li {
    float: left;
    margin: 0 1px;
    background: transparent;
}

#content .pagination li a {
    display: block;
    width: 13px;
    height: 0;
    padding-top: 13px;
    background-image: url(../img/pagination.png);
    background-position: 0 0;
    float: left;
    overflow: hidden;
}

#content .pagination li menubaredit {
    display: block;
    width: 13px;
    height: 0;
    padding-top: 13px;
    background-image: url(../img/pagination.png);
    background-position: 0 0;
    float: left;
    overflow: hidden;
}

#content #slides h3 {
    display: inline-block;
}

#content .pagination li.current a, #content .pagination li.current a:hover { background-position: 0 -13px }

#content .pagination li.current menubaredit, #content .pagination li.current menubaredit:hover { background-position: 0 -13px }

#content .pagination li a:hover { background-position: 0 -26px }

#slides a.nav:link, #slides  a.nav:visited { color: #333 }

#slides a.nav:hover, #slides a.nav:active { color: #9e2020 }

#slides menubaredit.nav:link, #slides  a.nav:visited { color: #333 }

#slides menubaredit.nav:hover, #slides a.nav:active { color: #9e2020 }

#slides p {
    padding: 0 0 30px 0;
}


#portraits {
    list-style: none;
    list-style-type: none;
    clear: both;
}
#portraits li {
    width: 100%;
    display:block;
    clear:both;
    padding: 10px;
    background:transparent;
}

#portraits div.photo {
    margin: 0px 10px 0 10px;
    display:inline;
    padding: 10px 10px 10px 10px;

    border: 1px solid #fff;
    box-shadow: 7px 5px 5px rgba(64,64,64,0.2);
    float: left;

    background: #d8edf2; /* Old browsers */

    -webkit-transition: all 0.5s ease-in-out;
    -moz-transition: all 0.5s ease-in-out;
    -o-transition: all 0.5s ease-in-out;
    -ms-transition: all 0.5s ease-in-out;
    transition: all 0.5s ease-in-out;

}

#portraits .info {
    font: normal .80em 'Verdana', arial, sans-serif;
    color: #555;

}

#portraits img {
    width: 150px;
    height: 165px;
}

#portraits .pic1 {
    z-index: 3;
    -webkit-transform: rotate(0deg);
    -moz-transform: rotate(0deg);
}
#portraits .pic2 {
    z-index: 2;
    -webkit-transform: rotate(-3deg);
    -moz-transform: rotate(-3deg);
}
#portraits .pic3 {
    z-index: 1;
    -webkit-transform: rotate(3deg);
    -moz-transform: rotate(3deg);
}
#portraits .pic4 {
    z-index: 1;
    -webkit-transform: rotate(-1deg);
    -moz-transform: rotate(-1deg);
}
#portraits div.photo:hover {
    z-index: 10;
    -moz-box-shadow: 3px 5px 15px #333;
    -webkit-transform: rotate(0deg);
    -moz-transform: rotate(0deg);

}

@font-face {
    font-family: 'FontAwesome';
    src: url('../font/awesome/font/fontawesome-webfont.eot');
    src: url('../font/awesome/font/fontawesome-webfont.eot?#iefix') format('embedded-opentype'), url('../font/fontawesome-webfont.woff') format('woff'), url('../font/awesome/font/fontawesome-webfont.ttf') format('truetype'), url('../font/awesome/font/fontawesome-webfont.svgz#FontAwesomeRegular') format('svg'), url('../font/awesome/font/fontawesome-webfont.svg#FontAwesomeRegular') format('svg');
    font-weight: normal;
    font-style: normal;
}

/* sprites.less reset */

[class^="icon-"], [class*=" icon-"] {
    display: inline;
    width: auto;
    height: auto;
    line-height: inherit;
    vertical-align: baseline;
    background-image: none;
    background-position: 0% 0%;
    background-repeat: repeat;
}

li[class^="icon-"], li[class*=" icon-"] { display: block }

/*  Font Awesome styles
    ------------------------------------------------------- */

[class^="icon-"]:before, [class*=" icon-"]:before {
    font-family: FontAwesome;
    font-weight: normal;
    font-style: normal;
    display: inline-block;
    text-decoration: inherit;
}

a [class^="icon-"], a [class*=" icon-"] {
    display: inline-block;
    text-decoration: inherit;
}

menubaredit [class^="icon-"], menubaredit [class*=" icon-"] {
    display: inline-block;
    text-decoration: inherit;
}

/* makes the font 33% larger relative to the icon container */

.icon-large:before {
    vertical-align: top;
    font-size: 1.3333333333333333em;
}

.btn [class^="icon-"], .btn [class*=" icon-"] { /* keeps button heights with and without icons the same */
    line-height: .9em;
}

li [class^="icon-"], li [class*=" icon-"] {
    display: inline-block;
    width: 1.25em;
    text-align: center;
}

li .icon-large[class^="icon-"], li .icon-large[class*=" icon-"] {
    /* 1.5 increased font size for icon-large * 1.25 width */
    width: 1.875em;
}

li[class^="icon-"], li[class*=" icon-"] {
    margin-left: 0;
    list-style-type: none;
}

li[class^="icon-"]:before, li[class*=" icon-"]:before {
    text-indent: -2em;
    text-align: center;
}
