function serverChange() {

    var server_id = document.getElementById("server").value;
    DWREngine.beginBatch();
    machinebean.setMachineID( server_id );
    machinebean.getMachineID( loadurl );
    DWREngine.endBatch();
}

function loadurl( id ) {
	var ref = "generate.jsp?server=" + id;
	parent.experiments_frame.location.href="generate.jsp";
	parent.force_show( 'code' );
}

function resultWindow(URL, name)
{
	var completeURL = URL ;
	var transform_name = document.getElementById("transform").value;
	completeURL = completeURL + "?transform=" + transform_name ;
	
	var profile_id = document.getElementById("profile").value;	
	completeURL = completeURL + "&profile=" + profile_id ;
	
	var server_id = document.getElementById("server").value;
	completeURL = completeURL + "&server=" + server_id ;

	var size      = document.getElementById("size" + transform_name).value;
	completeURL  = completeURL + "&size=" + size ; 

	var script    = document.getElementById("script" + transform_name + size).value;
	completeURL  = completeURL + "&script=" + script ; 

    var newWindow;
    newWindow = open(completeURL , name, "resizable, scrollbars, height = 450, width = 700");
}


function toggle( id )
{
	var element = getbyid( id );
	var bar = getbyid( id + "_bar" );
	var visible = element.style.display;
	if ( visible == "none" ) {
		show_div( element );
		if ( id == "code" ) bar.innerHTML = "<font size=2>(colapse)</font>";
		else bar.innerHTML = "<font size=2>(colapse)</font>";
	}
	else {
		hide_div( element );
		if ( id == "code" ) bar.innerHTML = "<font size=2>(expand)</font>";
		else bar.innerHTML = "<font size=2>(expand)</font>";
	}
}

function force_show( id )
{
	var element = getbyid( id );
	var bar = getbyid( id + "_bar" );

	var visible = element.style.display;
	if ( visible == "none" ) {
		show_div( element );
		if ( id == "code" ) bar.innerHTML = "<font size=2>(colapse)</font>";
		else {
			bar.innerHTML = "<font size=2>(colapse)</font>";
		}
	}
	else {}
}

function force_hide( id )
{
	var element = getbyid( id );
	var bar = getbyid( id + "_bar" )
	var visible = element.style.display;
	if ( visible == "" ) {
		hide_div( element );
		if ( id == "code" ) bar.innerHTML = "<font size=2>(expand)</font>";
		else bar.innerHTML = "<font size=2>(expand)</font>";
	}
	else {}
}

function show_div(itm)
{
	if ( ! itm ) return;
	itm.style.display = "";
}

function hide_div(itm)
{
	if ( ! itm ) return;
	itm.style.display = "none";
}

function getbyid(id)
{
	itm = null;
	if ( document.getElementById ) itm = document.getElementById(id);
	else if (document.all) itm = document.all[id];
	else if (document.layers) itm = document.layers[id];
	return itm;
}