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