<!--
function changeThemeImage (theme_selector, theme_image){
  var base_dir = "/images/thumbs/";
  var theme_name = document.getElementById(theme_selector);
  var theme_name = theme_name.options[theme_name.selectedIndex].value;
  var theme_img = document.getElementById(theme_image);

  theme_img.src = base_dir + theme_name + ".jpg";
  theme_img.alt = base_dir + theme_name + ".jpg";
}
-->