trovato!

codice:
$file=split("\n",$file);

for ($i=0; $i<count($file); $i++ )
{
	$ar=split(" ",rtrim($file[$i]));
	$num=array_pop($ar);
	if (($num>=1) && ($num<=1000)) // RIGA <OPTION>
	{	$ar1=str_replace("- ","",implode($ar));
		$gruppo=$num;
		$descr=implode($ar);
		$tipo=0;
	} else { // RIGA <OPTIONGROUP>
		$descr=implode($ar);;
		$gruppo='';
		$tipo=1;	
	}
	
	$sql="insert into tabella(gruppo2,descrizione2,tipo) values ('".$ar[0]."','$descr','$tipo')";
		echo $sql.";
";
}