/* default vars */

var d = document;
var IE   = (navigator.userAgent.indexOf("MSIE") != -1);

/* verwijder frames */

 if (self != top) top.location.href = window.location.href;

 
/* achterhaal OS */
 
var WIN = navigator.userAgent.indexOf("Win") != -1;
var MAC = navigator.userAgent.indexOf("Mac") != -1;
var LIN = navigator.userAgent.indexOf("Lin") != -1;