function search(event) {
  var key = event.which || event.keyCode;
  var input = Event.element(event);
  if (key == 13) {
    carousel.scrollTo(parseFloat(input.value) - 1)
    Event.stop(event);
    return false;
  }
}                          
Application =  {  
  addRightColumn2: function() {
    document.write('\
    	  <div id="navigation">\
          toto  </div>\
        ');    
  },
addRightColumn: function() {
  document.write('\
  	  <div id="navigation">\
        <div id="nm">\
          \
        </div>\
        <div id="g">\
        </div>\
      </div>\
  ');    
  setTimeout(Application.moveFrame, 100);

  },

  moveFrame: function() {
    var f =$$("iframe")[0]; 
    if (f) {
      $("g").appendChild(f)
    }
    else
      setTimeout(Application.moveFrame, 100)
  }
}