<?php

	// use the minified version
	include dirname(__FILE__).'/header_minified.inc';
	return;
?>