setPlaceholder("text", array('version'=>$version, 'base_version'=>preg_replace("/-.*/", "", $version), 'path'=>explode("/", preg_replace("/^\/|\/$/", "", $path)), 'query'=>$_SERVER['QUERY_STRING'], 'get'=>$_GET, 'archs'=>isset($archs) ? $archs : "", 'download_type'=>isset($downloadTyp) ? $downloadTyp : "")) ?> html ("text")?>