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

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