'David el gnomo' en un 'Hola chicos' (1985)