'; } elseif($extension == "mp4") { echo ' '; } ?>