window.location.replace("registro_herramientas.php");