str_replace('$num_righe',$num_righe,$miastringa);