function fileExtension($file) {
        $pos = strrpos($file,".");
        if ($pos == "0") return false;
        else {
                $ext = strtolower(substr($file,$pos));
                return $ext;
        }
}