$banner = $_FILES["BannerFile"]["name"];
if ($banner == "") 
{
	//echo 'banner is '. $banner;
	// $_SESSION["newbanner_error"] = "filename";
	//header ("Location: bannernou.php");	
	exit();
}
else if (!in_array($_FILES["BannerFile"]["type"], $banner_accepted_extensions))
{
	// check if uploaded file is of right type
	echo 'type is ' . $_FILES["BannerFile"]["type"]; 	
	// $_SESSION["newbanner_error"] = "bad_filetype";
	header ("Location: bannernou.php");	
	exit();
}