function changeWidth(id, newWidth)
{
    document.getElementById(id).style.width = newWidth + 'px';
}