function ie55(){
if (navigator.appVersion.indexOf("Win") != -1 && navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion.indexOf("5.5") != -1 && navigator.appMinorVersion.indexOf("SP1") != -1){
alert("To download with Microsoft Internet Explorer version 5.5,\n right mouse-click on the download button and select\n \"Save Target As\" from the dropdown menu.");
return false;
} 
else{return true};
}

function dl_popup(url) {
window.open(url,"download",'toolbar=YES,location=NO,directories=NO,status=NO,menubar=YES,scrollbars=YES,resizable=YES,width=400,height=600');
}