<!--    
	
	generate_result(""); function generate_result(s) { document.write(s); }
	// -->