http_script('', 'gadgets.js') .
	  http_script($inline . $fin);