www.radio-toppers.nl voor een ander radiostation"; } } else { $text="Server Closed!"; } ?>