function selectJavaCode(elem)
	{
	document.getElementById(elem).select();
	}