document.write("<a href='/HTML/site_content/page_about_us_en.html' target='_self'>About us</a> | <a href='/UserPages/user_news_group.aspx?group_key=news&page_key=news&lang=en&publish=yes' target='_self'>News</a> | <a href='/UserPages/user_contact_us.aspx?lang=en&publish=yes' target='_self'>Contact us</a> | <a href='/HTML/site_map_en.html' target='_self'>Site Map</a> | <a href='/HTML/site_content/page_press_clippings_en.html' target='_self'>Press Clippings</a>");