function change_processor(id){ document.form1.next_processor.value = id; }