// header scripts
document.write(
	"<script src='/scripts/htmlhttprequest.js' type='text/javascript'></script>",
	"<script src='/scripts/htmlhttprequest_inst.js' type='text/javascript'></script>",
	"<script src='/scripts/images.js' type='text/javascript'></script>",
	"<script src='/windows/javascripts/prototype.js' type='text/javascript'></script>",
	"<script src='/windows/javascripts/window.js' type='text/javascript'></script>",
	"<script src='/scripts/swfobject.js' type='text/javascript'></script>"
);