Extracting elements with id attributes from HTML [1]