var javawsInstalled = 0; 
isIE = "false"; 

if (navigator.mimeTypes && navigator.mimeTypes.length) { 
	x = navigator.mimeTypes['application/x-java-jnlp-file']; 
	if (x) javawsInstalled = 1; 
}
else { 
	isIE = "true"; 
} 

function insertLink(url, winJRE, linuxJRE, name, alternate) { 
<!-- Developers should be aware that for Gecko-based browsers (NS 6.x) -->
<!-- Java Web Start might not be installed ------------------------------>
	if (javawsInstalled || navigator.family == 'gecko') { 
		document.write("<a href=" + url + ">"  + name + "</a>"); 
	} else {
		var platform;
		if (typeof(window.navigator.platform) != 'undefined'){
			platform = window.navigator.platform.toLowerCase();
			if (platform.indexOf('win') != -1){
				document.write("<a href=" + winJRE + ">"  + alternate + "</a>"); 
			}
			else if (platform.indexOf('linux') != -1){
				document.write("<a href=" + linuxJRE + ">"  + alternate + "</a>"); 
			}
			else{
				document.write(alternate); 
			}
		}
		else{
			document.write(alternate); 
		}
	} 
}