var javawsInstalled = 0; 
var javaws12Installed = 0; 
var javaws142Installed=0; 

if (is_nav) {
	if (navigator.mimeTypes && navigator.mimeTypes.length) {
		x = navigator.mimeTypes['application/x-java-applet;version=1.4.2']; 
		if (x) {
			javawsInstalled = 1;
			javaws12Installed=1;
			javaws142Installed=1;
		} 
	} 
}