function setstyle()
{
	var op = '?';
	var newurl = window.location.href;
	if(newurl.indexOf("?") != -1)
	{
		op ='&';
	}
	var pos = newurl.indexOf("style=");
	if(pos != -1)
	{
		newurl = newurl.substring(0,pos-1);
	}
	window.location.href=newurl+op+'style='+document.getElementById('style').value;
}