Include first procedure INSERT_TICKET