Error típico de una media

Una población tiene desviación típica 12. Para una muestra de 36 observaciones independientes, ¿cuál es la desviación típica de la media muestral?