Rename 9001.php to 9001.html