'); } } mysql_close($db); $end = microtime(true); $duration = $end - $start; echo('

---

' . $j . ' files are converted, ' . $duration . ' seconds elapsed.'); } ?>