function changeamiga() {
  var amiga=1;
  var amiga=document.winuae.model.value;
  //alert(document.winuae.model.value);
  window.location='http://www.pictureinthesky.net/winuae.php?model='+amiga;
}