<div id="theme_switcher">
    <p>{change_theme}: <select onchange="if(this.value!= 0){location=this.options[this.selectedIndex].value}">
    {themes}
    </select>
    </p>
  </div>