1
var model=document.getElementById("model").childNodes[document.getElementById("model").selectedIndex].innerHTML
3
function change_model(elem){
4
window.location="help?model="+document.getElementById("model").childNodes[document.getElementById("model").selectedIndex].innerHTML
7
function getline(elem_max){
8
var x=document.getElementById("line_select")
10
var elems = x.childNodes
12
for (i=0; i<elems.length; i++){
13
if (elems[i].childNodes[elems[i].selectedIndex]){
14
line+=elems[i].childNodes[elems[i].selectedIndex].innerHTML+" "
16
if (elems[i].id==elem_max){
28
window.location="help?model="+model+"&line="+getline(elem.id).replace(/\+/g,"__pp__")
31
var form=document.getElementById("complete_form");
32
form.onsubmit=function(){
33
for (i=0; i<form.childNodes.length; i++){
34
if (form.childNodes[i].id=="form_input"){
35
var x=form.childNodes[i].value;
36
window.location="help?model="+model+"&line="+getline("none").replace(/\+/g,"__pp__")+" "+x.replace(/\+/g,"__pp__");
b'\\ No newline at end of file'