/* - ++resource++walhalla.design2011.scripts/basic.js - */
// http://www.walhalla.de/portal_javascripts/++resource++walhalla.design2011.scripts/basic.js?original=1
var box_previous=1;
function switchbox(value){document.getElementById('box'+box_previous).style.display='none';document.getElementById('box'+value).style.display='block';document.getElementById('switch'+box_previous).setAttribute('class','switchselect');document.getElementById('switch'+value).setAttribute('class','switchselect_on');box_previous=value}