function wechsel(num) { var styles = document.getElementsByTagName('style'); for(var i = 1; i < (styles.length); i++) {  if(i==num) {   styles[i].disabled = false;  }  else {   if(styles[i].getAttribute("title")!="") {      styles[i].disabled = true;   }  } }}function laden() { var stylenum = 1; if(stylenum!=-1) {  wechsel(stylenum); }}