document.write('<div class="dock2"><a href= "bauten.php">Bauten</a><a><img  src="navi_logo/blank.gif" width="41" height="20"></a><a href= "aktuell.php">Aktuell</a><a><img  src="navi_logo/blank.gif" width="41" height="20"></a><a href= "wettbewerbe.php">Wettbewerbe</a><a><img  src="navi_logo/blank.gif" width="41" height="20"></a><a href= "buero.php">Büro</a><a><img  src="navi_logo/blank.gif" width="41" height="20"></a><a href= "download.php">Download</a><a><img  src="navi_logo/blank.gif" width="41" height="20"></a><a href= "index.html">Home</a></div>');
// JavaScript Document