function runtop()
{
document.write('\n');
}
function runtimechange()
{
document.write('\n');
}
function runsana()
{
document.write('\n');
}
function run_main_banner()
{
document.write('
\n');
}
function run_christmas_banner()
{
document.write('\n');
}
function run_main_banner_kevin()
{
document.write('');
}