private static void Update()
{
// update entry in the Registry...
RegistryManager.Write("UserPoints", UserPoints + "");
}
private static void Update()
{
// update the registry entry
RegistryManager.Write("PESolved", js.Serialize(SolvedDictionary));
}