function flashfile($pageinfo) {

	if (!isset($_SESSION['flashheader']))	{
		echo "header.swf?button=".$pageinfo[menunum]."";
	$_SESSION['flashheader']="1";
	}else{
		echo "header2.swf?button=".$pageinfo[menunum]."";
	}
}