function append(){

	document.getElementById("randomgen").value='9927';

}