// header("Location: ".stripslashes($_REQUEST['file'])); $file = stripslashes($_REQUEST['file']); $imgfile = stripslashes($_REQUEST['imgfile']); $autostart = ($_REQUEST['autostart'] == '1') ? 'true' : 'false'; $background = ($_REQUEST['bgcol'] != '') ? substr($_REQUEST['bgcol'], 0, 6) : '000'; $background = preg_replace("/[^0-9,.]/", "", $background); // nicht-numerische zeichen entfernen $width = ($_REQUEST['width'] == '') ? '560' : (int)$_REQUEST['width']; $height = ($_REQUEST['height'] == '') ? '320' : (int)$_REQUEST['height']; ?>