document.write("<script language=\"JavaScript\">\r\n<!--\r\nvar isReady = false;\r\nfunction doSaveAs(){\r\nvar ver = navigator.appName\r\nvar num = parseInt(navigator.appVersion)\r\nif ((ver == \"Microsoft Internet Explorer\")&&(num >= 4)) {\r\n   if (document.execCommand){\r\n   if (isReady){document.execCommand(\"SaveAs\");}\r\n   }else{\r\n   alert(\'Press Ctrl + S to save the page.\');\r\n  }\r\n}\r\nelse\r\n{\r\n  alert(\"Press Ctrl + S to save the page.\");\r\n}\r\n\r\n}\r\n\r\nfunction tomyfave(){\r\n\r\n// message to show in non-IE browsers\r\nvar txt = \"Bookmark This Page\"\r\n// do not edit below this line\r\n// ===========================\r\nvar url = this.location;\r\nvar who = document.title;\r\nvar ver = navigator.appName\r\nvar num = parseInt(navigator.appVersion)\r\nif ((ver == \"Microsoft Internet Explorer\")&&(num >= 4)) {\r\n \r\n   window.external.AddFavorite(url,who);\r\n}else{\r\n   alert(\'Press Ctrl + D to bookmark\');\r\n}\r\n}\r\n//-->\r\n</script>");