乘春来到陇山西，隗氏城荒碧草齐。 好笑王元不量力，函关那受一丸泥。