delete tools/a.php