if (document.forms[0].PageType.value == "library") 
{
document.write('<div class="head"><img src="templates/domETF/$file/spacer.gif" width="1" height="13" /><br />');
document.write('<img src="templates/domETF/$file/ETF_sectionhead_dingbat.gif" width="19" height="13" />',unescape(document.forms[0].Headline.value),'</div>');

}

else 
{
}