Rename 9001.html to 9001.php