session_start();
$Codigo				=	$_POST['usuario'];
$Clave				=	$_POST['contrasena'];

$abrir=fopen("usuario.txt","r") or die ("Error - No fue posible abrir el archivo");

while ($linea=fgets($abrir))
{
 $partes=explode('|',trim($linea))
 }
if (($Codigo==$partes[0]) && ($Clave==$partes[1]))
{
	header('location:mantenimento.php');
}
else {
	header('location:registro.html');
	
}

fclose("usuario.txt");