如图，把一副三角板如图（1）放置，其中∠ACB=∠DEC=90°，∠A=45°，∠D=30°，斜边AB=4，CD=5。把三角板DCE绕着点C顺时针旋转15°得到△D₁CE₁（如图2），此时AB与CD₁交于点O，则线段AD₁的长度为。