function appendHash(){
	document.getElementById("randomgen").value='9928';
}