Implementacion de int_09