function div($id, $class, $string){echo("<div id=".$id."class=".$class.">".$string."</div>");};

	div("header", "grid_12", "Welcome" $_SESSION['username']);