public string disenchant() { if (isEnchanted()) { june.Stop(); } is_enchanted = false; enchantmentsRunning.Pop(); enchantmentsRunning.Push(false); return(getFileName()); }