// JavaScript Document function Run_FlashNavigationBar() { document.write('

\n'); } function Run_PastShowsList() { document.write('

\n'); } function Run_GalleriesList() { document.write('

\n'); } function Run_LogoChange() { document.write('

\n'); } function Run_Tickets() { document.write('

\n'); }