function show_hello()
{
	document.write("Hello");
}