// script to ensure that this page is always loaded within the main index frameset

var frame_builder = 'index.html'
if (top.document == self.document)
{ window.location = frame_builder +'?'+ window.location.pathname }