 function Fensterweite(){if(window.innerWidth){return window.innerWidth;}else if(document.body && document.body.offsetWidth){return document.body.offsetWidth;}else{return 0;}}function rebuild(){dall=document.getElementById("all");if(1000 > Fensterweite()){dall.style.width="1000px";}else{dall.style.width="100%";}}function hidediv(idd){document.getElementById(idd).style.display="none";}function showdiv(idd){document.getElementById(idd).style.display="block";}
