è molto facile.

codice:
<?
if (isset($_GET["theme"])) {
	$theme = $_GET["theme"];
} else {
	$theme = "xxxx";
}
?>