// Monitor-Auflösung -> Hintergrundbild-Größe
if (window.innerWidth) w = window.innerWidth; else w = screen.width;
if (w <= 1024) sw = 1024;
else if (w > 1024 && w <= 1280) sw = 1280;
else if (w > 1280 && w <= 1600) sw = 1600;
else sw = 1920;
$bgpath = 'images/bg/'+sw+'/';
document.write('<link rel="stylesheet" href="styles'+sw+'.css" type="text/css" />');

active = 'basics';
function show(next) {
         document.getElementById(active).className='info dn';
         document.getElementById(next).className='info';
         active = next;
         if (window.innerHeight) h = window.innerHeight; else h = screen.height;
         if( typeof( window.pageYOffset ) == 'number' ) y = window.pageYOffset;
         else if( document.body && ( document.body.scrollLeft || document.body.scrollTop ) ) y = document.body.scrollTop;
         else if( document.documentElement && ( document.documentElement.scrollLeft || document.documentElement.scrollTop ) ) y = document.documentElement.scrollTop;
         if ((h < 836 && y < 350) || y > 800) scrollTo(0,517);
}