if (document.layers) {
// CSS für Netscape 4 laden
            document.write('<link rel=stylesheet type="text/css" href="../css/ns4.css">')
 					}
// CSS für andere Browser laden
else {
            document.write('<link rel=stylesheet type="text/css" href="../css/prodoc.css">')
     }