tools/sv/inc/script.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

function update( objRef, text )
{
    if ( document.all || document.getElementById )
    {
        obj = ( document.getElementById )? document.getElementById( objRef ) : document.all( objRef );

        obj.innerHTML= text
    }
}

function doOp( op )
{
    document.forms[0].op.value = op
    document.forms[0].submit()
}

function doOp2( op, args )
{
    document.forms[0].op.value = op
    document.forms[0].args.value = args
    document.forms[0].submit()
}