// © XlXi 2021
// Graphictoria 5
function SetTitle(title)
{
document.title = (title != null ? "Graphictoria | " + title : "Graphictoria");
}
export default SetTitle;