定义在区间上的函数y=6cosx的图像与y=5tanx的图像的交点为P，过点P作PP₁⊥x轴于点P₁，直线PP₁与y=sinx的图像交于点P₂,则线段P₁P₂的长为___________。