function codeboxClicked(x)
{
	x.focus();
  	x.select();
}

function load()
{
 	document.getElementById("codebox").value = code;
}