YAHOO.util.Event.onContentReady("productsandservices", function() { var F; function C(I, G) { var J, K, H; if (this.parent) { K = this.element.lastChild; K.style.height = "0px"; if (F && F.isAnimated()) { F.stop(); F = null } J = this.body; H = J.getElementsByTagName("ul")[0]; YAHOO.util.Dom.setStyle(J, "overflow", "hidden"); YAHOO.util.Dom.setStyle(H, "marginTop", ("-" + H.offsetHeight + "px")) } } function E(I, H, G) { if (this.cfg.getProperty("iframe")) { this.syncIframe() } if (G) { G.style.height = this.element.offsetHeight + "px" } } function A(J, I, G) { var K = this.body, H = K.getElementsByTagName("ul")[0]; if (G) { G.style.height = this.element.offsetHeight + "px" } YAHOO.util.Dom.setStyle(H, "marginTop", "auto"); YAHOO.util.Dom.setStyle(K, "overflow", "visible"); if (YAHOO.env.ua.ie) { YAHOO.util.Dom.setStyle(K, "zoom", "1") } } function D(I, G) { var K, J, H; if (this.parent) { K = this.element; J = K.lastChild; H = this.body.getElementsByTagName("ul")[0]; F = new YAHOO.util.Anim(H, { marginTop: { to: 0} }, 0.2, YAHOO.util.Easing.easeOutStrong); F.onStart.subscribe(function() { J.style.height = "100%" }); F.animate(); if (YAHOO.env.ua.ie) { J.style.height = K.offsetHeight + "px"; F.onTween.subscribe(E, J, this) } F.onComplete.subscribe(A, J, this) } } var B = new YAHOO.widget.MenuBar("productsandservices", { shadow: false, autosubmenudisplay: true, lazyload: true, showdelay: 5 }); B.subscribe("beforeShow", C); B.subscribe("show", D); B.render() }); function writeEmail(A) { addy2 = "oist.com"; addy1 = "ben"; addy = (A + "@" + addy1 + addy2); document.write('<a href="mailto:' + addy + '">' + A + "<br/>@" + addy1 + addy2 + "</a>") } function highlight(A, D, C, B) { if (D) { A.style.backgroundColor = B; A.style.color = "#000000"; A.style.cursor = "hand" } else { A.style.backgroundColor = C; A.style.color = "#000000"; A.style.cursor = "hand" } } function link(C, B, A) { if (B == "blank") { if (A == true) { window.open("https://" + C) } else { window.open("http://" + C) } } else { if (A == true) { document.location.href = "https://" + C } else { document.location.href = "http://" + C } } }