/* User Agent (Browserkennung) auf einen bestimmten Browsertyp prüfen */  
function checkBrowserName(name){  
var agent = navigator.userAgent.toLowerCase();  
if (agent.indexOf(name.toLowerCase())>-1) {  
return true;  
}  
return false;  
}  