window.addEvent('domready', function() {

if(window.ie == true) { document.location.href='http://getfirefox.com'; }
	
var windowHeight = window.getHeight();
$('content').style.height=windowHeight - 120 +'px';
	

var url = "tags.php";
var timer = 15;
var div = $('tags'); 

var periodical, dummy; 
	
//var myAjax = $(div);

var myAjax = new Ajax(url, {
		method: 'get',
		update: div
	});


var refresh = (function() {
	// dummy to prevent caching of php
	dummy = $time() + $random(0, 100);
	myAjax.request() //.delay(periodical);
	 
	}); 

	$clear(periodical);
	periodical = refresh.periodical(timer * 1000, this); 
	(function(){myAjax.request()}).delay(periodical);


	
});