function addstyle(s){
	l = document.createElement("link");
	l.type = "text/css";
	l.rel = "stylesheet";
	l.href = s;
	thehead = document.getElementsByTagName("head");
	thehead[0].appendChild(l);
}