// salta alla sezione code, con prefisso pref sull'url se necessario
// se code è null torna a se stessa
//function goToSection(code, prefix) {
//    d = document.data;
//    if (prefix!=null) d.action=prefix+d.action;
//    if (code!=null) d.code.value=code;
//    d.submit();
//}

function goToSection(code, prefix, postfix) {
    d = document.data;
    if (postfix!=null) d.action=d.action + '?' + postfix;
    if (prefix!=null) d.action=prefix+d.action;
    if (code!=null) d.code.value=code;
    d.doc.value = "";
    d.submit();
}

// va al documento doc con eventuale prefisso
function goToDoc(doc, prefix) {
	d=document.data;
	d.doc.value=doc;
        if (prefix!=null) d.action=prefix+d.action;
        d.submit();
}

function goToModule(param, code, prefix) {
	d=document.data;
	if (prefix!=null) d.action=prefix+d.action;
	if (code!=null) d.code.value=code;
	d.param.value=param;
	d.submit();
}