static public class Extensions {
public static string Highlight(this string s) {
	return "** " + s + " **";
}
}
