<!--
var Hoehe, Breite;
Hoehe=screen.height;
Breite=screen.width;
if (Breite>800)
{
document.write("<style type='text/css'> .unavig { font-size: 11pt; color: #333333; font-family: Verdana; text-decoration:none; }");
document.write(" .hnavig { font-size: 11pt; color: #333333; font-family: Verdana; text-decoration:none } <\/style>");
}
else
{
document.write("<style type='text/css'> .unavig { font-size: 9pt; color: #333333; font-family: Verdana; text-decoration:none; }");
document.write(" .hnavig { font-size: 10pt; color: #333333; font-family: Verdana; text-decoration:none } <\/style>");

}
//-->