/*
redirects ns4-users to ns4.html
*/

var pathPrefix = '';
if((window.location.href).indexOf('index.php5') == -1) { /*dann befindet man sich auf unterseite*/
 pathPrefix = '../';
} 


if(document.layers && !document.getElementById) {
 window.location.href = pathPrefix+'ns4.html';
}