function assureCorrectOrientation() {
	var a = document.createElement('A');
	a.href = window.location.href;
	var oldWidth = width;
	clickhandler({target: a});
	if (oldWidth != width) {
		// size changed
		if (window.location.href == a.href) {
			if (a.href.indexOf('?') == -1) {
				a.href+='?';
			} else if (a.href.charAt(a.href.length-1) == "&"){
				a.href = a.href.substring(0,a.href.length-1);
			} else {
				a.href+='&';
			}
		}
		window.location.replace(a.href);
	} else {
	}
}
