document.write('<link rel=\"stylesheet\" type=\"text/css\" href=\"fileadmin/template/css/text_' + get_cookie("ui_size") + '.css\" />');
document.write('<link rel=\"stylesheet\" type=\"text/css\" href=\"fileadmin/template/css/contrast_' + get_cookie("ui_contrast") + '.css\" />');