Ok, muchísimas gracias, ya funciona :).
Una última cosa,
Cita: DETERMINISTIC y NOT DETERMINISTIC indican si una rutina siempre produce el mismo resultado para entradas dadas. Por defecto es NOT DETERMINISTIC si no se da ninguna característica, así que debe especificar DETERMINISTIC explícitamente para declarar que la rutina es determinista.
¿Entonces si no sé qué va a pasar pongo DETERMINISTIC y si siempre va a pasar lo mismo pongo NOT DETERMINISTIC? :S.
Saludos.