function navbar()
{
document.write("| The Castle Hotel - Home |
");
document.write(" |
| About Us |
");
document.write(" |
| Accommodation & Prices |
");
document.write(" |
| Weddings |
");
document.write(" |
| Conferences |
");
document.write(" |
| Decadence |
");
document.write(" |
| World Famous Vodka Bar |
");
document.write(" |
| Christmas |
");
document.write(" |
");
}