with (document) 
{
write("<script type='text/javascript' src='js/menu.js'> </script>");
write("<script type='text/javascript' src='js/menu_items.js'> </script>");
write("<script type='text/javascript' src='js/menu_tpl.js'> </script>");
write("<script type='text/javascript' src='js/uhr.js'> </script>");
write("<script type='text/javascript' src='js/book.js'> </script>");
write("<script type='text/javascript' src='js/WB_zoom.js'> </script>");
}