function env(url)
{
var page_url = url;
var secure_url;
secure_url = "http://www51.honeywell.com" + page_url;
window.location = secure_url;
}