// JavaScript Document

function styleswitcher() {
	var screenWidth	 = screen.width;

	if(screenWidth == 800)
		document.write("<link rel='stylesheet' href='css/kaufbetrieb800.css' type='text/css'>");
	else if(screenWidth == 1024)
		document.write("<link rel='stylesheet' href='css/kaufbetrieb1024.css' type='text/css'>");
	else if(screenWidth == 1280)
		document.write("<link rel='stylesheet' href='css/kaufbetrieb1280.css' type='text/css'>");
	else
		document.write("<link rel='stylesheet' href='css/kaufbetriebDefault.css' type='text/css'>");
}