// *************************************************************************************************************************************************
// Libreria de scripts de Javascript
// Autor: José Manuel Alonso (E.T.S.I.I.) Universidad de Sevilla
// Fecha Creación: 2009-2010
// Fecha Última modificación: Marzo005
// Nombre del fichero: opciones.js
// Descripción : 
//		Este fichero declara valores para las opciones
// *************************************************************************************************************************************************
var op_alta=1;
var op_modificacion=2;
var op_eliminacion=3;
var op_movida=4;
var op_ejecucion=5;