function change_theme(picker) {
	var mytheme = picker.options[picker.selectedIndex].value; 
	// gets selected value from the drop-down
	//document.getElementsByTagName('body')[0].className = mytheme; 
	// value of drop-down will be the name of the class of the body. IE: body.themeone, body.themetwo, etc
	picker.form.theme.value = mytheme;
	picker.form.submit();
}