function visitor_counter() {	return 12;}