I may not understand this but off the top of my head this would work (incase you want to do it in php ever):
PHP Code:
// Assuming $buffer has the contents of your file...
$exp = explode("@@", $buffer); // Pack this into an array...
// By default, $exp[0] would be the first part...
// So instead we just use $exp[1] first... :)
echo $exp[1].$exp[0];
Quicker than the mirror trick, too... and doesn't waste paper, LOL