/*
Copyright (c) 2007, Adversitement BV  All rights reserved.
http://www.adversitement.nl
*/

if(window.addEventListener) {
  window.addEventListener ("unload", function(){pauseComp(300)}, false);
} else if(window.attachEvent) {
  window.attachEvent("onunload", function(){pauseComp(300)});
}

function pauseComp(millis) {
  var date = new Date();
  var curDate = null;
  
  do { curDate = new Date(); }
  while(curDate-date < millis);
}