<!--
// index only code, by Stefan
e = document.getElementById('navstrip')
if (e && e.tagName == 'DIV') {
ls = e.getElementsByTagName('A')
if (ls.length == 1 && ls[0] == e.lastChild) {
document.write('<style type="text/css">.indexonly{display:inline;}</style>')
}}
// -->