// JavaScript Document
function banner(wo, breit, hoch) {
  top.document.getElementById(wo).width = breit;
  top.document.getElementById(wo).height = hoch;
  top[wo].location.href = 'http://www.2.joyourself.com/allonline.php?psid=adworx&pstour=t1&psprogram=REVS';
  }