// JavaScript Document
function writeJS2() {
	var str='';
	str+='<div id="switcher">';
	str+='<a href="#" id="style1" onclick="SetStyleSheet(\'default\'); return false;"><img src="fileadmin\/template\/resources\/display_r1_c1.gif" alt="Standard font" width="16" height="20" \/><\/a><span class="hide"> | <\/span>';
	str+='<a href="#" id="style2" onclick="SetStyleSheet(\'lg_font\'); return false;"><img src="fileadmin\/template\/resources\/display_r1_c2.gif" alt="Large font" width="16" height="20" \/><\/a><span class="hide"> | <\/span>';
	str+='<a href="#" id="style3" onclick="SetStyleSheet(\'dark_bg\'); return false;"><img src="fileadmin\/template\/resources\/display_r1_c3.gif" alt="Standard font, dark background" width="16" height="20" \/><\/a><span class="hide"> | <\/span>';
	str+='<a href="#" id="style4" onclick="SetStyleSheet(\'dark_bg_lg_font\'); return false;"><img src="fileadmin\/template\/resources\/display_r1_c4.gif" alt="Large font, dark background" width="16" height="20" \/><\/a><\/div>';
	str+='<br class="clearing" \/><\/div><p>Use the buttons to change the text size and background colour.<\/p>';
	document.write(str);
}
writeJS2();