function get_url_param(name) { 
    name = name.replace(/[\[]/,"\\\[").replace(/[\]]/,"\\\]"); 
    var regexS = "[\\?&]"+name+"=([^&#]*)"; 
    var regex = new RegExp( regexS ); 
    var results = regex.exec( window.location.href ); 
    if( results == null )    return ""; 
    else return results[1];
}
 
 
 function load(){  
    if (get_url_param("header") == "1") {
      parent.frames["header"].location.reload(true);
    }
    parent.document.getElementById('frameset').rows = '105,*';
 }

 function load2(){  
    parent.frames["header"].location.reload(true);
    parent.document.getElementById('frameset').rows = '105,*';
 }