function getCrtlPrefix()
{
	var prefix;     
	var objCrtlPrefix = document.getElementById("ctrlPrefix");

	if ( objCrtlPrefix )
		prefix = objCrtlPrefix.value;

	return prefix;
}