// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
// random.js
//
// copyright (c) 2006-2010 drow <drow@bin.sh>
// all rights reserved.

// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
// frob form inputs

function random_input (form) {
  var form_elem = form.elements;

  for (i = 0; i < form.length; i++) {
    if (form_elem[i].disabled) continue;

    if (form_elem[i].type == 'text') {
      if (form_elem[i].name == 'seed') {
        j = Math.floor(Math.random() * 2147483647) + 1;
        form_elem[i].value = j;
      }
    } else if (form_elem[i].type.match(/^select/)) {
      if (form_elem[i].name == 'infest') {
        // static
      } else if (form_elem[i].options[0].text.match(/^Random/)) {
        form_elem[i].selectedIndex = 0;
      } else {
        j = Math.floor(Math.random() * form_elem[i].options.length);
        form_elem[i].selectedIndex = j;
      }
    }
  }
  return;
}
document.write('&nbsp; <input type="button" value="Random"'
  + ' onclick="random_input(this.form)" />');

// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -