function write_ref() {
   document.write("<style type='text/css' media='all'>@import '/themes/boxy/boxy.css';</style>");
   document.write("<link rel=\"SHORTCUT ICON\" href=\"/favicon.ico\">");
}
write_ref();