function teaser(which,html) {
    if(document.getElementById)
    document.getElementById("teaser").innerHTML=html;
    else document.getElementById("teaser").innerHTML='';
}
function erase() {
    if(document.getElementById)
    document.getElementById("stage_instruction").innerHTML=''
}
function SetImage(id, file){
  var element = document.getElementById(id);
  if (element && element.src)
  {
    element.src = file;
  }
}
var windowWidth, windowHeight;
var thumbHeight;
var agent = navigator.userAgent.toLowerCase();
var mac = (agent.indexOf("mac")!=-1);
var ie = ((agent.indexOf("msie") != -1)&& (agent.indexOf('opera')==-1));
function setHeight(thumbFrameHeight){
    if (!(mac && ie)){
        windowSize();
        thumbHeight = thumbFrameHeight;
        document.getElementById("goodies").style.height=(thumbHeight+20) + "px";
        document.getElementById("stage").style.height=((windowHeight-thumbHeight) * .85) + "px";
        document.getElementById("stage").style.width=(windowWidth*.9) + "px";
        document.getElementById("goodies").style.width=(windowWidth*.9) + "px";
    }
}
function resizeThis(){
    setHeight(thumbHeight);
}
function windowSize() {
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerWidth ) == 'number' ) {
    //Non-IE
    myWidth = window.innerWidth;
    myHeight = window.innerHeight;
  } else if( document.documentElement &&
      ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
    //IE 6+ in 'standards compliant mode'
    myWidth = document.documentElement.clientWidth;
    myHeight = document.documentElement.clientHeight;
  } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
    //IE 4 compatible
    myWidth = document.body.clientWidth;
    myHeight = document.body.clientHeight;
  }
  windowWidth = myWidth;
  windowHeight = myHeight;
}