if(window.location.hostname == 'www.helpserver.be'){
window.location="pro_helpserver.html";
}else{
if(window.location.hostname == 'www.helpserver.eu'){
window.location="pro_helpserver.html";
}else{
if(window.location.hostname == 'helpserver.eu'){
window.location="pro_helpserver.html";
}else{
// nothing
}
}
}