function Printer() {
document.write ("<a href=\"javascript:window.print()\"><img src=\"/fileadmin/design/images/icon_print.gif\" width=\"14\" height=\"14\" alt=\"Drucken\" /></a>");
}

function jumpTo(aktie,jumpto) {
	document.getElementById("aktienname").value=aktie;
	document.getElementById("aktientitel").innerHTML=aktie;
//	document.location.href = '#'+jumpto;
	location.href = location.href.substring(0,location.href.length - location.hash.length)+"#"+jumpto;
}