public static String webPageHead(WebPage wp){
		return "<page_html_code url=\"" + wp.getUrl() //
		+ "\" depth=\"" + wp.getDepth() //
		+ "\" father=\"" + wp.getFatherUrl() //
		+ "\" charset=\"" + wp.getCharSet() //
		+ "\">" + ln;
	}