' . $contents); exit; } else { echo "header"; }}