function focus(x)
{
	document.getElementById(x).focus();
	return false;
}