' . $lines . ' lines | ' . $words . ' words | ' . $chars . ' chars

'; } else if (isset($_POST['links'])) { echo linksdiv($content); }?>