1.
The value of the integral 0π/2log(sinx)dx\int_0^{\pi/2} \log(\sin x)\,dx is