// fix firefox window close
function closeWindow() {
	window.open('','_parent','');
	window.close();
}

// start tabs
currentshown=1;
function showDiv(thediv){
	
	document.getElementById('div'+currentshown).style.display='none';
	document.getElementById('div'+thediv).style.display='block';
	
	document.getElementById('tab'+currentshown).className = 'null';
	document.getElementById('tab'+thediv).className = 'selected';
	
	currentshown=thediv;
}

function switchTabControl(action){
	if(action == 'stopTabs'){
		document.getElementById('startTabs').style.display='block';
		document.getElementById('stopTabs').style.display='none';
	} else {
		document.getElementById('startTabs').style.display='none';
		document.getElementById('stopTabs').style.display='block';
	}
}

///--------------------------------------

Array.prototype.shuffle = function(times){
	var i,j,t,l = this.length;
	while(times--)	{
		with(Math)	{
			i = floor(random()*l);
			j = floor(random()*l);
		}
		t = this[i];
		this[i] = this[j];
		this[j] = t;
	}
	return this;
}