// to refresh page always onload, so that RSS stays fresh
if (window.name!="stale_window") 
{ 
	window.name="stale_window"; 
	location.reload(); 
	//confirm("Done it, page reloaded."); 
} 


// this in order to show/hide content, right now only on show_article_page.php, to show/hide article "details" ;
function HideContent(d) {
if(d.length < 1) { return; }
document.getElementById(d).style.display = "none";
}
function ShowContent(d) {
if(d.length < 1) { return; }
document.getElementById(d).style.display = "block";
}
function ReverseContentDisplay(d) {
if(d.length < 1) { return; }
if(document.getElementById(d).style.display == "none") { document.getElementById(d).style.display = "block"; }
else { document.getElementById(d).style.display = "none"; }
}