[devote]

trim удаляет лишь конечные и начальные символы.. тоесть те что найдет в конце или в начале строки... используйте str_replace или preg_replace

echo str_replace( "4;@", "", $t );

echo preg_replace( "#4;@#", "", $t );