Hoi! Mijn galaxy-pager had in een ver verleden een kerst-deuntje bij alarmering, niet zijnde een standaard-tone. Heeft iemand enig idee welke tone“string” dit geweest zou kunnen zijn? Helaas is deze na een aantal keer programmeren verloren gegaan…. Thanks!
