#!/bin/bash

php mantenedor.php $1 $2 $3 $4