if (top.location != self.location){top.location=self.location};

var bookmarkurl="http://www.macchinistisicuri.info";
var bookmarktitle="Ferrovieri e sicurezza";

	function addbookmark(){
		if (document.all)
		var imgFav= new Image();
            window.external.AddFavorite(bookmarkurl,bookmarktitle);
			}
			
function homepage() { 
if(document.all)
document.body.style.behavior='url(#default#homepage)';
document.body.setHomePage('http://www.macchinistisicuri.info/ms/home.php');
} 

function highlight(x){
document.forms[x].elements[0].focus()
document.forms[x].elements[0].select()
}