with (document) {
	write('<script type="text/javascript" src="../js/menu_en.js"></script>');
}