function jumpStyle() {
	if (document.getElementById) {
		document.getElementById("switcher").submit();
	}
}