function setarticlewidth() {
	var x;
	if (self.innerHeight) // all except Explorer
	{
		x = self.innerWidth;
	}
	else if (document.documentElement && document.documentElement.clientHeight)
		// Explorer 6 Strict Mode
	{
		x = document.documentElement.clientWidth;
	}
	else if (document.body) // other Explorers
	{
		x = document.body.clientWidth;
	}
	if (x>939) {
		x=939
	}
	document.getElementById("body").style.width=x-40+"px";
	document.getElementById("artikelouter").style.width=x-309+"px";
	window.onresize = setarticlewidth;
}