codice:
    //------------------------------------------------------------
    //restituisce gli elementi value selezionati da una lista
    //separati da virgola
    //------------------------------------------------------------
    function options_value_selezionati_join(lista)
    {
	    var s = "";
	    for(var i = 0; i < lista.options.length; i++)
	    {
		    if(lista.options[i].selected) s += "," + lista.options[i].value;
	    }
	    return s.substr(1);
    }
invece di mettere:
document.FORM1.tec.value

metti:
options_value_selezionati_join(document.FORM1.tec)

nota: non ho provato