function favoris() {
('http://www.grandhotelcentral.nl', 'Grand Hotel Central', 'Druk op Ctrl-D om Grand Hotel Central toe te voegen aan je favorieten!'); return false;" href="#" } }