let rec project_doclist dom doclist doclist' =
match doclist with
| [] -> doclist'
| hd::tl -> begin
match hd with
| Para(_,_)
| Link(_, _,_)
| Textbox(_,_)
| Button(_, _)
| Inl_script(_, _) ->
project_doclist dom tl doclist'
| Rem_script(_, url) ->
let dom_optional = (domain_of_url url) in
begin
match dom_optional with
| None -> project_doclist dom tl doclist'
| Some(dom2) ->
if (dom2=dom) then project_doclist dom tl (doclist' @ [hd])
else project_doclist dom tl doclist'
end
| Div(_, dlist) -> project_doclist dom (tl @ dlist) doclist'
end