function checkParameter(){	// check whether we need an input box for a parameter	var currentAction = document.forms[0].elements["action"].value;		if (currentAction == 'rename' || currentAction == 'addgroup' || currentAction == 'addsubgroup') {		document.getElementById('parameter').style.visibility = 'visible';	}	else {		document.getElementById('parameter').style.visibility = 'hidden';	}		if (currentAction != 'nothing') {		document.getElementById('commit').style.visibility = 'visible';	}		return;}
6770	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6770/572c3f2bb3a723427b3ca6f2c29ad27c0b612804/dilps.lib.js/buggy/dilps/dilps.lib.js