function doHeader(header) {

	document.write(header);

}