function setLeft(x)
{
document.getElementById("marginTarget").style.marginLeft=""+x+"%";
}
function setRight(x)
{
document.getElementById("marginTarget").style.marginRight=""+x+"%";
}