function change_style(n){if(n==1){document.getElementById('style').href="css/default.css";return;}if(n==2){document.getElementById('style').href="css/default2.css";return;}}