@(xs:String) String