function gotourl(url){
	 window.location = url;
}

function PostForm(command, formid){
    $("command").value = command;
    $(formid).submit();
}

    var ologdiv = null;
    var enableLog = true;
    function log(str)
    {
	if(!enableLog)
            return;
	if(ologdiv==null){
            ologdiv = document.createElement("div");
            ologdiv.style.position = "absolute";
            ologdiv.style.zindex = 10;
            document.body.appendChild(ologdiv);
	}
	++i;
	ologdiv.innerHTML+=(i+": "+str+"<br/>");
    }
    i=0;

function toggleCheckbox(chk,id)
{
	if(chk.checked)
	{
		document.getElementById(id).checked=false;
	}
	
}