// Javascript for all content pages

// Set the framest titlebar
top.document.title = document.title;