d = document;
w = window;
function getid(id){
    return d.getElementById(id); 
}
function getname(name){
    return d.getElementsByName(name); 
}
function addfav(){
	w.external.AddFavorite(location.href, d.title);
}
function tsize(n, who){
	if(who == null){who = 'content';}
	$("#" + who).css({"font-size": n + "px"});
}
function loadjs(name){
	d.write('<script src="/js/' + name + '.js"></script>');
}
loadjs('jq');
loadjs('flash');
loadjs('cookie');
loadjs('superfish');