// JavaScript Document
function writeJS() {
var str='';
str+='<div id="switcher">';
str+='    <div id="access-widget">';
str+='      <div id="access-widget-panel">';
str+='        <p>Change font size and<br \/>';
str+='          colours on this site</p>';
str+='        <ul id="font-sizes">';
str+='          <li><a href="#" id="font-normal">A<span class="hide-op"> - switch to normal font size<\/span><\/a><\/li>';
str+='          <li><a href="#" id="font-bigger">A<span class="hide-op"> - switch to bigger font size<\/span><\/a><\/li>';
str+='          <li><a href="#" id="font-biggest">A<span class="hide-op"> - switch to biggest font size<\/span><\/a><\/li>';
str+='        <\/ul>';
str+='        <ul id="themes">';
str+='          <li><a href="#" id="theme-default">C<span class="hide-op"> - switch to Default theme<\/span><\/a><\/li>';
str+='          <li><a href="#" id="theme-blue">C<span class="hide-op"> - switch to Blue theme<\/span><\/a><\/li>';
str+='          <li><a href="#" id="theme-hiviz">C<span class="hide-op"> - switch to Hi Viz theme<\/span><\/a><\/li>';
str+='          <li><a href="#" id="theme-soft">C<span class="hide-op"> - switch to Soft theme<\/span><\/a><\/li>';
str+='        <\/ul>';
str+='      <\/div>';
str+='    <\/div>';
str+='    <div style="clear:both"><\/div>';
str+='  <\/div>';
document.write(str);
}
writeJS();