function $_(name) 
{
	if (document.getElementById) return document.getElementById(name);
	else if (document.all) return document.all[name];
	else return null;
}
function ShowCornerBannerBig ()
{
	$_('cornerBannerBig').style.top = '0';
	$_('cornerBannerSmall').style.top = '-500px';
}
function ShowCornerBannerSmall ()
{
	$_('cornerBannerSmall').style.top = '0';
	$_('cornerBannerBig').style.top = '-500px';
}