function toggleQuicklinks() {
	if (document.getElementById("quicklinklist").style.display == "block") 
		 document.getElementById("quicklinklist").style.display = "none";
	else document.getElementById("quicklinklist").style.display = "block";
}
if(document.getElementById('quicklinks') && window.name != 'print')
document.getElementById('quicklinks').style.display = "block";