/**
* Bepaal de hoogte van de achtergrond en zet die op de min(schermhoogte, 768);
**/
function setBgHeight(){

    var hoogte=document.body.clientHeight;
    $('achtergrond').style.height=hoogte;
    $('menuCol').style.height=hoogte;
    $('menuColBack').style.height=hoogte;
    $('main').style.height=hoogte;
  }//setbgHeight

/*
function min(val1, val2){
  return (val1<val2)?val1:val2;
}//max
*/