var newwindow;
function linksmanualinux(url)
{
	newwindow=window.open(url,'www.manualinux.com Manualinux il manuale su linux, linux manual, manuale linux','width=1280,height=800,toolbar=yes,scrollbars=yes,menubar=yes,resizable=yes,status=yes,directories=yes,titlebar=yes');
	if (window.focus) {newwindow.focus()}
}