蜀山之王是四川的四姑娘山。