function swap_dropdown(num)
{
	if(prevStyle != null) prevStyle.style.display = 'none';
	document.getElementById("tab"+num).style.display = 'block';
	prevStyle = document.getElementById("tab"+num);
}

function displayarchive(num)
{
	window.location="index.php?page=archives&id_article=" + num;
}