// JavaScript Document

function ScaleHeader(){

var winW = 630, winH = 460;

if (parseInt(navigator.appVersion)>3) {
 if (navigator.appName=="Netscape") {
  winW = window.innerWidth;
  winH = window.innerHeight ;
 }
 if (navigator.appName.indexOf("Microsoft")!=-1) {
  winW = document.body.offsetWidth;
  winH = document.body.offsetHeight ;
 }
}
a = document.getElementById('header').style;
b = document.getElementById('leesvoer').style;
//c = document.getElementById('vertspacer');

w = winW -320;

if(w <500){w =500;}

// apart voor leesgedeelte
ww = w-30;


// zet de hoogte van de div en de spacer goed
a.width = w+"px";
b.width = ww+"px";
//c.height = h;

// kijk nu of de scrollfunctie nog aktief moet zijn

//aa = parseInt(b.height);
//bb = tempvar;







}