function showtab(num) {
	var i=1;
	while (document.getElementById('Stage'+i)!=null) {
		document.getElementById('Stage'+i).style.display='none';
		document.getElementById('Tab'+i).className = '';
		i++;
  	}
  	document.getElementById('Stage'+num).style.display='';
  	document.getElementById('Tab'+num).className = 'current';

  	if (typeof(startEditors)=="function") {
  		startEditors();
  	}
  	return false;
}