function redraw_basket( text ){
   var box=document.getElementById('btext');
   box.innerHTML = text;
}