if (isset($_REQUEST['artnr'])) $artnr=$_REQUEST['artnr']; else $artnr=''; $articles=1; include("header2.php"); ?>