def get_title_of_page(url):
if BEAUTIFUL_SOUP_IMPORTED:<EOL><INDENT>try:<EOL><INDENT>opener = make_invenio_opener('<STR_LIT>')<EOL>soup = BeautifulSoup.BeautifulSoup(opener.open(url))<EOL>return soup.title.string.encode("<STR_LIT:utf-8>")<EOL><DEDENT>except:<EOL><INDENT>return None<EOL><DEDENT><DEDENT>else:<EOL><INDENT>return "<STR_LIT>"<EOL><DEDENT>
@param url: page to get the title from
@return: the page title in utf-8 or None in case
that any kind of exception occured e.g. connection error,
URL not known