if ((currentPageType == "library") && (document.forms[0].Label.value != "onix"))
 {


document.write('<div class=\"bodyHead\" id="library_head">',unescape(document.forms[0].Headline.value),'</div>');

if (document.forms[0].IntroText.value != "")
{
document.write('<br><div class=\"bodyIntro\">',unescape(document.forms[0].IntroText.value),'</div>');
}
             
}
else
{}