function h(s) {
	s = s.replace(/&/g,"&");
	s = s.replace(/"/g,""");
	s = s.replace(/'/g,"'");
	s = s.replace(/</g,"&lt;");
	s = s.replace(/>/g,"&gt;");
	return s;
}