function javaheader() {
	document.write('<h1>PAGE HEADER</h1>');
}