Yo hago TRIM, tú haces TRIM, él hace TRIM
Nunca se sabe si el primero no ha funcionado. Un TRIM advertido vale por dos.
if (isset($_GET['id_coll'])) $id_coll = trim($_GET['id_coll']);
else $id_coll = '';
if (trim($id_coll)!='' && is_numeric($id_coll))
{
......
}