9 ideas de búsqueda en Google para estudiantes [infografí­a]

Hemos mencionado en varias ocasiones (por ejemplo aquí­ y aquí­) sobre las muchas caracterí­sticas de búsqueda de las que Google dispone y que pocos saben que pueden usar: consultar horarios de cines, revisar menús de restaurantes, seguir códigos de productos, traducir palabras, convertir divisas, visualizar resultados deportivos, etc.

Son ideas geniales relacionadas particularmente al entretenimiento, pero también hay opciones para quienes buscan obtener un provecho incluso en áreas especí­ficas como las de nuestros diferentes niveles de estudio donde resulta tan necesario el contar con herramientas eficientes a la hora de consultar información relevante para nuestras investigaciones. Pues bien, en FreeTech4Teachers, un portal especializado en recomendaciones para profesores y estudiantes, han recogido varias ideas muy interesantes para que estos últimos logren sacarle el máximo potencial a Google.

Utilizar las herramientas de búsqueda avanzada de Google, filtrar las búsquedas según el tipo de dominio, encontrar palabras especí­ficas dentro del listado de resultados de Google o simplemente valerse de Google Scholar para encontrar libros y artí­culos citados por otros investigadores hacen parte de estas buenas ideas que en FreeTech4Teachers se han dado a la tarea de poner en una muy colorida infografí­a que a continuación compartimos -está en inglés pero no es muy extensa en texto-:

estrategias busqueda google estudiantes

Cómo funcionan las Comunidades de Google+

Aprovechamos el anunciado cierre de Orkut por parte de Google, que poco tiene que ver con en el éxito de Google+, para revisar a fondo las Comunidades, una de las funcionalidades inigualables con las que cuenta esta «plataforma social» –mas no «red social» como algunos equí­vocamente creen. Para ello nos valemos de la experiencia que nos ha brindado la Comunidad educativa Cursos Online Gratuitos que fundamos hace un año y que acaba de superar los 90.000 miembros.

Qué son las Comunidades de Google Plus

comunidad cursos online gratuitos
Una Comunidad es un grupo de usuarios de Google+, grupo que comparte temas y contenido de interés: educación, salud, deportes, chistes, noticias, fotos, polí­tica, valores, etc. Cualquier usuario puede crear y unirse a una o a muchas comunidades, públicas y/o privadas. Es una combinación de los grupos de Facebook, los más completos foros que en la red suele encontrarse y las propias comunidades en Orkut próximas a desaparecer y que en su momento inspiraron su aparición en Google+.

El contenido de las interacciones entre usuarios aparecerá dentro de la comunidad en forma de publicaciones convencionales, lo que les da la posibilidad de mostrarse en las timelines personales como si de un cí­rculo más se tratara (claro, también se puede configurar su aparición).

Tipos de contenido que se pueden publicar

Hay miles de comunidades y asimismo miles de temas, así­ que en cada cual se recomienda un tipo especial de contenido: p.e., en una comunidad de humor pueden publicarse imágenes, fotos y videos graciosos, mientras que en una comunidad de cursos online suelen compartirse enlaces a páginas de inscripción a cientos de cursos.

Pues bien, en las comunidades es posible compartir texto, fotografí­as, videos (propios, desde YouTube o mediante otras fuentes), eventos (eventos de Google+) y enlaces teniendo para todos los casos una vista previa que el resto de usuarios del grupo podrán aprovechar. Igualmente, desde otros espacios en Google+, es posible compartir otras publicaciones de Google+ dentro de la comunidad. Lo único que no es posible agregar son archivos adjuntos como documentos y carpetas, por supuesto, a menos que se piense en valerse de una herramienta online como Dropbox o Google Drive para subir los archivos y luego compartir dentro de la comunidad los enlaces generados.

Cómo unirse a una Comunidad en Google+

Ve a la barra principal de Google+ en la parte lateral izquierda, pulsa en «Comunidades» dentro de la lista de opciones y ya podrás visualizar la completa sección Comunidades que incluye un lugar para Todas las Comunidades, empezando por las más populares, y otro para las Recomendadas para ti según los intereses que considera Google que podrí­as tener (más si la gente de tus cí­rculos pertenece a ellas).

comunidades google plus

Puedes pulsar en cualquier de ellas para echarle un vistazo a su página completa la cual incluye una imagen o un icono representativo, una descripción de la Comunidad (muchas veces con las reglas básicas), categorí­as, publicaciones de miembros de la comunidad, publicaciones fijadas por moderadores-, listado de miembros, un buscador para filtrar el contenido por palabras clave y un botón rojo para «Unirse» al instante.

En algunos casos, dependiendo de la configuración de la Comunidad, hará faltar solicitar el acceso a los moderadores del grupo y esperar la aceptación, en el resto con solo oprimir el botón rojo ya se podrá empezar a publicar.

Cómo se crea una Comunidad en Google+

Si quieres crear tu propia Comunidad ve de nuevo a la sección Comunidades y en la parte superior derecha pulsa el botón azul que dice «Crear una comunidad». Elige el tipo de comunidad que deseas según el público al cual quieres llegar:

comunidades privadas y publicas

Comunidades privadas: Solo miembros que hayan sido invitados (o su petición para unirse a la comunidad haya sido aceptada) podrán unirse a la comunidad y ver el contenido que allí­ se comparte. Las publicaciones se pueden ocultar de los resultados de búsqueda de comunidades que el resto de usuarios realice.

Comunidades públicas: Todo el mundo puede unirse. Aunque en ciertos casos también puede ser necesario solicitar el acceso, será más fácil encontrarlas pues aparecerán en los resultados de búsquedas.

Luego de elegir su naturaleza pública o privada, aparecerá un pequeño cajón de búsqueda y enseguida la página de la Comunidad con una guí­a interactiva que señala cuatros pasos básicos a efectuar:

comunidades privadas y publicas

1. Agrega una descripción.
2. Elige una foto que represente a tu comunidad.
3. Completa la sección Acerca de con pautas y ví­nculos relevantes.
4. Agrega categorí­as de debate para guiar las conversaciones.

Luego de completados, ya podrás compartir tu comunidad con otros usuarios, en una nueva publicación, para que la visiten y se unan. Lo recomendado por Google+ es:

5. Comienza por presentarte ante toda la comunidad y darles la bienvenida a los nuevos miembros.
6. Luego, invita a las personas y los cí­rculos que les podrí­a interesar.

Para más ayuda puedes visitar este enlace en los foros de Google.

Tipos de usuarios

Moderadores: En Google+ no se hace mucha distinción entre el Propietario (el «Administrador», quien crea la Comunidad) y Moderadores pues la diferencia es básicamente que el primero puede elegir a los segundos, un grupo de miembros que le ayudarán con la gestión de la comunidad y que al igual que el primero tendrán habilitadas funciones para bloquear otros miembros, eliminarlos, suprimir publicaciones, fijar publicaciones (marcarlas para que no desaparezcan de la timeline principal tras nuevas publicaciones), crear y reorganizar categorias, cambiar la categorí­a de cierta publicación y modificar los detalles descriptivos de la comunidad.

Otros miembros: Todos los miembros de la comunidad que no son moderadores. Pueden compartir todo tipo de contenidos pero no tienen control sobre otros usuarios, de hecho, pueden ser expulsados de la comunidad por los moderadores.

Gestión del SPAM

comunidades privadas y publicas
Los primeros dí­as el contenido de la comunidad es fácilmente manejable, se pueden eliminar publicaciones SPAM manualmente y comunicarse con cada nuevo miembro de forma sencilla. Sin embargo, la complejidad aumenta cuando aparecen más y más miembros, y a menos que pasemos el dí­a entero dedicándolo a la tarea, será imposible controlar el SPAM manualmente incluso contando con ayuda de varios moderadores.

Pues bien, aquí­ es donde las capacidades de Google toman un nivel de importancia tremendo al punto de superar casi cualquier otra plataforma social que incluya foros y grupos de usuarios: el control automático del SPAM. La tecnologí­a de Google entiende cuando un usuario está repitiendo publicaciones dentro de la comunidad, publicando lo mismo en múltiples comunidades, compartiendo material indebido y causando otras molestias con sus posts, así­ que lo que hará de forma predeterminada será ocultar su contenido para el resto de la comunidad, excepto para los moderadores quienes podrán visualizarlo e incluso retractar su eliminación -la eliminación automática es tan eficiente que pocas veces sucede-. Otro detalle interesante es que los miembros también pueden denunciar publicaciones y usuarios.

Igualmente para los moderadores, en cada publicación les aparecerán opciones para eliminar el post manualmente e incluso eliminar con dos clics al usuario que está infringiendo alguna norma con su SPAM, por ejemplo, compartiendo decenas de enlaces a sus propios sitios web. Realmente es magní­fica esta gestión.

Notificaciones
Tanto miembros como moderadores pueden activar las notificaciones para recibir un aviso cada vez que exista una nueva publicación o se ejecute alguna acción especí­fica. Sin embargo, como también serí­a imposible manejar decenas de ellas por hora como las que cobran vida en publicaciones con miles de miembros, se pueden controlar y/o deshabilitar en cualquier momento.

Usos extra, notas y consejos finales

Las comunidades son un baluarte de Google+ y se pueden aprovechar de mil maneras: Para conseguir tráfico hacia tus sitios web, crear grupos de fans, brindar soporte a los clientes de tu marca, gestionar relaciones más cercanas con ellos, armar grupos de protesta, crear grupos de profesionales contactando con gente de cualquier lugar del mundo, compartir documentación y aprender con especialistas sobre determinadas áreas (por ejemplo, debatir con una comunidad de programadores) y muchí­simo más.

En cualquier caso es vital establecer desde el primer momento las reglas de la comunidad, controlar el SPAM de los miembros cuando haga falta, evitar debatir con usuarios que no buscan más que afectar la comunidad, evitar el propio SPAM hacia tus blogs y sitios web, interactuar con la comunidad, pedir la ayuda de moderadores pues quizá una sola mente no sea suficiente y finalmente mantener muy ordenada la sección de categorí­as también desde los inicios de la comunidad pues luego la cantidad de publicaciones, aún con un buscador, se hace inmanejable.

Google+ suma nuevas funciones a su editor de fotos

Impresionantes novedades veremos en el editor de Fotos de Google+, que nos permitirán tener más control sobre las ediciones de nuestras fotografí­as.

Tal como lo anuncian desde el equipo de Google, veremos dos nuevas funciones. Una de ellas tiene que ver con la posibilidad de ver todas las ediciones de una fotografí­a, retroceder o combinarlas con nuevos efectos o retoques.

Para esto, veremos que al momento de editar tendremos una nueva opción “Ediciones”, seguida del nuevo de ediciones que hemos efectuado en nuestra fotografí­a. Solo tenemos que seleccionarla y podremos navegar por todas ellas, además de visualizar la original. Podemos eliminarlas o seguir editando la fotografí­a a partir de la edición que hemos escogido.

google plus

Y si notamos la imagen, también veremos otra opción que nos permite “Copiar” todos los efectos y cambios de una fotografí­a realizada en una determinada edición y pegarla en otra.

Y como bonus anuncian un nuevo Efecto Automático que se producirá a partir de las fotografí­as con paisajes creando una combinación de efectos impresionantes, que por supuesto podremos editar a nuestro criterio. Todas estas novedades se irán desplegando a partir de hoy.

Historias en Google Plus llega para iPhone y iPad

Hace unas semanas os hablamos del lanzamiento de Historias en Google+, una nueva funcionalidad que nos permite organizar de forma automática el contenido multimedia capturado durante eventos, viajes y demás salidas.

Como os informamos en su momento, estaba disponible apra web y android, y llega ahora para dispositivos iOS dentro de la nueva versión de Google Plus para móviles en iTunes.

En la actualización comentan las novedades, donde además de incluir el sistema que nos permite hacer resúmenes de viajes, incluye un nuevo editor de fotos, con nuevos filtros y herramientas, un contador con el número de visitas en los perfiles, un sistema para informar abusos en las comunidades y otras mejores de rendimiento.

historias

Al guardar nuestras fotos en Google Plus (algo que podemos hacer de forma automática) podremos comenzar a crear historias con ellas, aunque en este caso el propio google se encargará de determinar cuáles son las mejores imágenes, eliminará las duplicadas e ignorará las borrosas, por lo que el trabajo de selección es mucho más sencillo y rápido.

Son cada vez más las aplicaciones que quieren crear historias de forma automática, eliminando el proceso de curación y trabajo manual. Animoto lleva años haciendo un trabajo semejante al crear ví­deos con las fotos que le indicamos, y parece que la tendencia continúa viva.

9 novedades en Google+ para Android

A partir de hoy podremos ver nuevas funciones en la aplicación de Google+ para Android, tal como lo detalla Dave Besbris.

Dos de las nuevas funciones son las que comentamos en un artí­culo anterior, Historias y Pelí­culas que se crearán a partir de las fotografí­as y videos. Y una tercera función relacionada con las fotografí­as es la posibilidad de crear gifs o un collage (al estilo de las fotos de cabina) buscando esta opción, como vemos en la imagen.

Google+

También se ha tenido en cuenta detalles que aseguren una mejor navegación por todas nuestras fotografí­as. Se ha anunciado un mejor soporte a nuestras colecciones sin importar que tan grandes sean y un nuevo menú de navegación similar al que encontramos en la versión web.

Dejando de lado el tema de las fotografí­as, notaremos una interfaz renovada con nuevas caracterí­sticas. Por ejemplo, veremos que ya se ha integrado la opción de mostrar la cantidad de visualizaciones que ha tenido nuestro perfil.

También tendremos un nuevo menú de navegación, para acceder fácilmente a las secciones que deseemos como las Comunidades o los Cí­rculos. Se ha simplificado el proceso de compartir contenido e interactuar con nuestros contactos, veremos que se ha integrado un nuevo icono  y el menú se irá deslizando a medida que nos desplazamos por el stream para dar total protagonismo a las publicaciones.

Google Plus

Muchas novedades que no solo se centran en uno de los aspectos más consentidos de Google+ que son las fotografí­as, sino que también en simplificar el proceso de publicación e interacción desde los móviles.

Vic Gundotra, responsable por Google Plus, abandona la compañí­a

Después de 8 años en la compañí­a, Vic Gundotra, responsable por Google Plus, deja la empresa, según él mismo anuncia en la red social.

En su mensaje habla de seguir enfrente, de las grandes cosas que han conseguido desde Google, del fantástico futuro que tiene la red social.. pero no habla de lo que hará él a partir de ahora.

David Besbris, ejecutivo en Google, ocupará su puesto, según informan algunas fuentes, aunque aún no hay nada oficial en este sentido. Besbris ha estado en Google desde 2008, después de casi una década en AOL, aunque no ha aparecido públicamente en muchas ocasiones.

Larry Page, por otro lado, ha comentado la salida de Vic en su página de Google Plus:

[…] gracias por estos fantásticos casi ocho años en Google, por el magní­fico trabajo en nuestras aplicaciones móviles y relaciones con desarrolladores, convirtiendo nuestros esfuerzos dispares en algo grande […] fue increí­ble ver a los desarrolladores tan entusiasmados con Google. […] Usted construyó Google+ de la nada. Hay pocas personas con el coraje y la capacidad de iniciar algo así­ y estoy muy agradecido por todo su trabajo duro y la pasión. […] Buena suerte con su próximo proyecto después de Google. Mientras tanto vamos a seguir trabajando duro para construir grandes experiencias nuevas para el cada vez mayor número de fans de Google+.

Veremos ahora cómo afectará este cambio a la gran red social y de contenido que es Google Plus.

Google+ añade opciones para descargar la foto original y sus versiones

Para aquellos que utilicen Google+ para guardar, editar y compartir sus fotografí­as, notarán que se han integrado nuevas opciones combinando diferentes caracterí­sticas.

Desde hace tiempo, Google+ nos presenta varias opciones para mejorar o darle un toque especial a nuestras fotografí­as. Podemos valernos del Ajuste automático que realiza cambios sutiles o podemos recurrir al editor de fotografí­as.

Aunque siempre nos permití­a volver a nuestra fotografí­a original, no resultaba práctico al momento de descargarla ya que tení­amos que desechar los cambios. Ahora podemos escoger la fotografí­a que deseamos descargar, si la original o la versión que se ha creado con algunas de las alternativas que comentamos antes.

Por ejemplo, si nuestra fotografí­a ha recibido una mejora automática veremos esta opción:

Google Plus

Si nosotros hemos modificado nuestra fotografí­a con el editor, entonces tendremos esta opción:

Google+

Siempre dispondremos de nuestra fotografí­a original, así­ como de la versión que se ha creado teniendo en cuenta las últimas modificaciones.  Solo tenemos que buscar la opción correspondiente dentro del visor de fotografí­as tal como vemos en las imágenes.

Y como tips, recordemos que desde la configuración de nuestra cuenta podemos personalizar el nivel de mejora de los Ajustes automáticos para que se apliquen a todas nuestras fotografí­as. O podemos portar por desactivar esta opción.

10 sencillas ideas para el marketing en Google Plus

Ideas simples para apoyar el marketing en Google+, con herramientas más que conocidas, son las que se comparten en SocialMediaExaminer. Aquí­ recogemos 10 de las mejores con algunos consejos para su implementación inmediata. El contenido sigue siendo el pilar más importante pero de nada sirve si no se aprovecha al máximo su potencial a través de medios eficientes de promoción.

1. YouTube y su reproducción incrustada

videos incrustados

Basta poner en el campo de creación de una nueva publicación la URL de un video de YouTube para que aparezca integrada su vista previa. Al ser publicada, lo usuarios podrán reproducir el video sin salir de Google+ y sus comentarios en esta red seran combinados con los de YouTube, así­ que para los que promocionan canales de YouTube, esto es perfecto. Otro detalle importante para aprovechar es que dentro de la timeline de Google+, las publicaciones que incluyen videos ocupan más espacio.

2. Incrementa tu alcance con Hangouts on air

hangouts on air

Puedes contar con las videoconferencias de Google+ (Hangouts) para tus cursos, seminarios, eventos y demás, sin embargo, si no quieres llegar sólo a un público especí­fico, puedes valerte de Hangouts on air para transmitir video libremente a una mayor cantidad de personas y sin gastar un solo centavo en software especializado. La transmisión se realiza a través de YouTube y sin salir de Google+ (en la sección Hangouts del menú lateral se puede acceder a ellos, crearlos y visualizar los de otros).

3. Puedes incrustar formularios de Google Drive

formularios incrustados

Puedes recoger la opinión de un gran público valiéndote de los formularios de Google Drive y su capacidad para integrarse dentro de las publicaciones. Para esto, es suficiente con crear o abrir un formulario, ir al menú Archivo, pulsar en Enviar formulario y dar clic en el icono de Google+ en la ventana emergente para que aparezca incrustado dentro de una nueva publicación. Restará definir el público (cí­rculos) y esperar las respuestas que irán automágicamente a una hoja de cálculo de Google Drive.

4. Extiende la vida de tu contenido con los posts incrustados

incrustar publicaciones

Ahora las publicaciones de las más populares redes sociales pueden ser incrustadas dentro de un blog u otro sitio web sin necesidad de plugins o herramientas extra. Lo interesante de hacerlo es que, además de que se combinan las interacciones entre el público del sitio y los seguidores del perfil en Google+, se puede lograr extender la vida de determinadas publicaciones que en la timeline de la red social podrí­an pasar sin pena ni gloria entre tal mar de contenido.

5. Usa sabiamente los hashtags

pestaña explore google+

Los hashtags en Google+ sirven para lo mismo que en otras redes, para categorizar el contenido y permitir que con un clic sobre uno de ellos, se filtre una buena cantidad de contenido reciente y relacionado con el tema. Un par de diferencias: En Google+ incluso se crean automáticamente (quedan pegados en la parte superior derecha) y se pueden visualizar las publicaciones relacionadas a determinado hashtag junto a un listado de etiquetas relacionadas (algo así­ como subhashtags). Para algunos usuarios también se ha puesto a disposición, desde la página principal, la sección Explore (lo más interesante) que al igual que Twitter destaca los temas más populares (para los demás, sigue estando disponible una versión reducida de tal sección desde el menú de la parte izquierda).

6. Toma ventaja de las fotografí­as

fotos de cualquier tamaño

Algo caracterí­stico de Google+ y que no tienen ni Facebook, Twitter o Linkedin, es el excelente manejo que se le da a las fotografí­as: Se pueden crear copias automáticas en Google+, modificar sus detalles con el editor incrustado, añadir efectos automáticos (convirtiéndolas incluso en videos) y dejar intacta su proporción al publicarlas (ni se ajustan ni se recortan, perfecto hasta para infografí­as).

7. Dale formato a tus publicaciones

formato posts

Esto tampoco lo tienen las otras redes, el poder dar formato al texto dentro de las publicaciones con sólo encerrar cada fragmento entre asteriscos (*este texto quedará en negrita*), entre guiones (-este texto quedará tachado-) y entre guiones bajos (_este texto quedará en cursiva_). Es similar al lenguaje Markdown pero para evitar confusiones ya existe hasta una extensión para Chrome que lo facilita.

8. Promociona tu audio sin salir de Google+

soundcloud google+

SoundCloud, el excelente servicio que miles de artistas independientes usan para promocionar su música, puede ser usado por cualquiera para cargar contenido de audio (p.e., un podcast), grabar directamente desde su interfaz y en todos los casos, compartir fácilmente los resultados. Pues bien, con sólo poner en una publicación de Google+ la URL del fichero de audio en SoundCloud, aparecerá incrustada la vista previa y asimismo su reproducción iniciará sin salir de Google+.

9. Herramientas de estadí­sticas y analí­ticas de Google+

estadisticas google plus

Tres son las recomendadas en SocialMediaExaminer: CircleCount, para todo lo relacionado con estadí­sticas demográficas de los cí­rculos y rankings de seguidores; Google+ Brand Page Audit, para analizar rápidamente qué sobra y qué falta en determinada página de Google+ (enlaces, descripciones, conexiones, entre otros); y SumAll, para visualizar el alcance de la página y el de sus publicaciones.

10. +Post Ads, anuncios sociales de AdWords

post ads google+

+Post Ads (en español “+publicaciones“) son los anuncios sociales que ahora hacen parte del sistema publicitario de Google, la idea es aprovechar el espacio de AdSense en millones de sitios web para incrustar publicaciones como anuncios sumando a su efectividad las interacciones sociales. Están disponibles para todos los anunciantes de Google AdWords así­ que lo recomendado es comunicarse con el equipo de AdWords para conocer más sobre esta herramienta y aprender a implementarla.

¿Tienes más ideas sobre marketing en Google+? No dudes en dejarlas en los comentarios.

Google Plus ya muestra las visitas recibidas en los perfiles y páginas

Como veis en la captura adjunta, Google Plus ha actualizado el sistema para que sea posible mostrar el número de visitas que ha recibido el contenido que publicamos en dicha red social.

El número que acompaña a los seguidores muestra el total de páginas vistas, ya sean textos, imágenes, ví­deos o perfiles, siendo posible desactivarlo en la sección de configuración para poder mantener dicho dato oculto al público.

Lo anuncian en el mismo Google Plus como una forma de demostrar que, aunque sea menos popular que Twitter o Facebook, puede generar muchas visitas si se trabaja el contenido y la interacción con los seguidores.

No hay como establecer un «visitas desde», el número es el total de visitas al contenido que hemos compartido desde Octubre de 2012, tal y como anuncian en la publicación, existiendo ya una página de soporte de esta nueva funcionalidad.

Quién sabe, igual es el primer paso para tener una plataforma de estadí­sticas completa dentro de esta red social de la que tantos dependemos.

Google+ permite destacar publicaciones en las Comunidades

Una nueva caracterí­stica ha liberado el equipo de Google que contribuirá a a beneficiarnos del contenido que se comparte en las Comunidades de Google+.

La idea es destacar aquellas publicaciones que los moderadores o propietarios consideren relevantes con la nueva opción que se ha integrado: “Fijar publicación”. Esto la encontrarán en la pestaña que acompaña a toda publicación, que permite realizar una serie de acciones, entre ellas algunas útiles en la moderación de una comunidad.

Google Plus

Cuando el moderador o propietario decide fijar una publicación está quedará en la parte superior del stream con un mensaje que lo distingue “Fijada por el moderador”. Se mantendrá en esa posición hasta que se revierta la acción escogiendo “No fijar publicación”.

Una interesante propuesta que ayudará a mantener la dinámica y el interés en la Comunidad. Pueden utilizarla por ejemplo, los moderadores para fijar anuncios, eventos o cualquier noticia relevante para la Comunidad. O puede ser una forma de premiar la participación de sus miembros destacando cada dí­a o semana aquellas publicaciones que tengan más +1 o comentarios, o se considere productiva para el resto.

Tal como lo han mencionado en el anuncio esta nueva caracterí­stica se ha ido desplegando durante el dí­a, por lo que podremos verla ya en funcionamiento en las Comunidades en las que participamos.