function code_select()
{
	var pole = document.getElementById("kod");
	pole.focus();
  	pole.select();
}