function visitor_counter() {	return 512;}