function flush() {
	document.getElementById('theblock').value = '';
}

function doform() {
	var sname = Math.floor(Math.random() * 900000) + 100000;
	sname = "myscr" + sname + ".js";
	var snippet = "<script language=\"Javascript\" src=\"/" + sname + "\"></script>";
	document.getElementById('toola').style.display = 'none';
	document.getElementById('jsfname').value = sname;
	document.getElementById('htmlhashingform').submit();
	document.getElementById('toolb').style.display = 'block';
	document.getElementById('snippet').value = snippet;
}

function resetform() {
	document.getElementById('toolb').style.display = 'none';
	document.getElementById('toola').style.display = 'block';
	document.getElementById('snippet').value = '';
}