Miscellany

elseif ($action == "spielstarten")	{		session_start();	   	spiel_initalisieren();	   	header("Location: index.php");	   	exit();   		   					}function spiel_initalisieren(){  		$_SESSION['rot'] = random_color();					$_SESSION['gruen'] = random_color();					$_SESSION['blau'] = random_color();					$_SESSION['v'] = 0;				}