(function() {
	var i = window.setInterval(function() {
		var b;
		if (b = document.getElementsByTagName("body")[0]) {
			b.className += " javascript";
			window.clearInterval(i);
		}
	}, 50);
}());