function playflash(source, width, height)
{
document.write('
' + "\n");
}
function playflash_t(source, width, height)
{
document.write('' + "\n");
}
function make_big()
{
document.getElementById('header_banner').style.visibility='visible';
document.getElementById('header_banner_small').style.visibility='hidden';
}
function make_small()
{
document.getElementById('header_banner').style.visibility='hidden';
document.getElementById('header_banner_small').style.visibility='visible';
}