/********************************************* Plugin JAVA ********************************/
var javawsInstalled = -1;
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, name) {
if (javawsInstalled) {
document.write("" + name + "");
} else {
document.write("Need to install Java Web Start");
}
}
function jwsInstalled() {
return javawsInstalled;
}
function launchLink(jnlpUrl) {
var realUrl = "http://java.sun.com/products/javawebstart/needdownload.html?";
if (javawsInstalled) {
realUrl = jnlpUrl;
}
return realUrl;
}
/**********************************************************************************************/
/* EXTRA */
function MenuOver(obj,menuName)
{
obj.style.background="url(images/"+ menuName +")";
obj.style.cursor="pointer";
}
/************************************************* FIX PNG *****************************************/
var arVersion = navigator.appVersion.split("MSIE")
var version = parseFloat(arVersion[1])
function correctPNG() // correctly handle PNG transparency in Win IE 5.5 & 6.
{
if ((version >= 5.5) && (document.body.filters))
{
for(var i=0; i"
img.outerHTML = strNewHTML
i = i-1
}
}
}
}
if ((version >= 5.5)){
window.attachEvent("onload", correctPNG);
}
/**********************************************************************************************/