function targetBlank(){
	var document;
	//Funzione utile ad aggiungere all' elemento link con id "WSS_link" l' attributo target="_blank", altrimenti non
	//consentito dalle specifiche XHTML Strict.
	var wss=document.getElementById("WSS_link");
	wss.target="_blank";
	var partner=document.getElementById("partner_link");
	partner.target="_blank";
	
	document.close();
}