蜀乔，斗山僧。