(function(){
	var onesec   = 1000;				// One second (in ms)
	var onemin   = 60 * onesec;		// One minute (in ms)
	var interval = 3 * onemin;			// How often is page refreshed (in ms)
		
	window.setTimeout(
		function()
		{
			window.location.reload();
		},
		interval
	);
})();