function document_onload()
{
	idx = location.href.indexOf("?load=", 0);
    if ( idx >= 0 )
    {
      dest = location.href.substr(idx+6);
      frames("TextFrame").location.href = dest;
    }
}