function changeStyle(objectID, newStyle)
{
    document.getElementById(objectID).setAttribute("style",newStyle);
}