fix do file4.php