function sold_init()
{
  var profit = document.getElementById('profit');
  var profit_pos = document.getElementById('profit_pos');
  profit_pos.innerHTML = profit.innerHTML;
}

function details(button,market_id)
{
  var details = document.getElementById('market' + market_id);

  if (details.style.display=='block') { 
    details.style.display='none'; 
    button.innerHTML='+';
  }
  else if (details.style.display=='none') { 
    details.style.display='block'; 
    button.innerHTML='-';
  }
}