function pageRefreshTrigger() {
		setTimeout("pageRefresh()", 5000);
	};
	function pageRefresh() {
		var redirectURL = document.URL;
		// check for comment anchor at end of url
		var commentPartStarts = redirectURL.indexOf('comment');
		if(commentPartStarts != -1){ redirectURL = redirectURL.substr(0,commentPartStarts-1); };
		document.location.href = redirectURL;
	};