tools = new Object();
tools.adjustCategoryBrowserHeight = function(height) {
  document.getElementById('inhoud').getElementsByTagName('object')[0].style.height 
= height + 'px';
};

function openEmbeddedPlayer(link) {
  window.open(link,'embeddedplayer','noresize,noscroll,status=no,menubar=no,toolbar=no,width=800,height=612,left=100,top=100');
}