<php>
out("  if(eregi("windows",$_SERVER["HTTP_USER_AGENT"]){      ");
out("  header("Location: /hotelseite_mobil$hotelname");      ");
out("  }else{                                                ");
out("  header("Location: /hotelseite_normal$hotelname");      ");
out("  }                                                     ");
</php>