// JavaScript Document
include("/js/stats/googleAnalytics_tvs.php");
function include(file) {
	script = document.createElement('script');
	script.src = file;
	script.type = 'text/javascript';
	document.getElementsByTagName('head')[0].appendChild(script);
}/*
function $(id) {
	return document.getElementById(id);
}*/