non mi è ben chiaro.. in che senso definire la variabile 'tipo'? la peschi dal $_GET[] e per tento si presume sia definita