function ausblenden ()
{
var obj=document.getElementsByTagName("sup");
for (var i = 0; i < obj.length; ++i) {
obj[i].style.display="none";
}
}


function anzeigen ()
{
var obj=document.getElementsByTagName("sup");
for (var i = 0; i < obj.length; ++i) {
obj[i].style.display="inline";
}
}