5 lines of change needed in PHP script (10 min work!)

I need a small change in one PHP file. The change will be about 5 line (very quck and short - takes about 10 mins.) Just remove an echo statement and replace with redirect.