function change_active_theme()
{
	document.themeselect.submit();
}