function hp()
 {
var newSS;
newSS=document.createElement("link");
newSS.rel="stylesheet";
newSS.type="text/css";
newSS.href="hp.css";
document.documentElement.childNodes[0].appendChild(newSS); 
}

function alt()
 {
var newSS;
newSS=document.createElement("link");
newSS.rel="stylesheet";
newSS.type="text/css";
newSS.href="hp.alt.css";
document.documentElement.childNodes[0].appendChild(newSS); 
}

function druck()
 {
var newSS;
newSS=document.createElement("link");
newSS.rel="stylesheet";
newSS.type="text/css";
newSS.href="hp_print.css";
document.documentElement.childNodes[0].appendChild(newSS); 
}