function stil() {
  if (self.name == null) {self.name = "hase-anf"};
  self.document.write('<link rel="stylesheet" href="' + self.name + '.css" type="text/css"/>');
}
function setstil(s){
  self.name=s;
  location.reload();
}