//©Xara Ltd
if(typeof(loc)=="undefined"||loc==""){var loc="";if(document.body&&document.body.innerHTML){var tt=document.body.innerHTML;var ml=tt.match(/["']([^'"]*)hikeyskew.js["']/i);if(ml && ml.length > 1) loc=ml[1];}}

var bd=0
document.write("<style type=\"text/css\">");
document.write("\n<!--\n");
document.write(".hikeyskew_menu {z-index:999;border-color:#000000;border-style:solid;border-width:"+bd+"px 0px "+bd+"px 0px;background-color:#c17156;position:absolute;left:0px;top:0px;visibility:hidden;}");
document.write(".hikeyskew_plain, a.hikeyskew_plain:link, a.hikeyskew_plain:visited{text-align:left;background-color:#c17156;color:#ffffff;text-decoration:none;border-color:#000000;border-style:solid;border-width:0px "+bd+"px 0px "+bd+"px;padding:2px 0px 2px 0px;cursor:hand;display:block;font-size:13pt;font-family:Arial, Helvetica, sans-serif;}");
document.write("a.hikeyskew_plain:hover, a.hikeyskew_plain:active{background-color:#b7cbd2;color:#000000;text-decoration:none;border-color:#000000;border-style:solid;border-width:0px "+bd+"px 0px "+bd+"px;padding:2px 0px 2px 0px;cursor:hand;display:block;font-size:13pt;font-family:Arial, Helvetica, sans-serif;}");
document.write("a.hikeyskew_l:link, a.hikeyskew_l:visited{text-align:left;background:#c17156 url("+loc+"hikeyskew_l.gif) no-repeat right;color:#ffffff;text-decoration:none;border-color:#000000;border-style:solid;border-width:0px "+bd+"px 0px "+bd+"px;padding:2px 0px 2px 0px;cursor:hand;display:block;font-size:13pt;font-family:Arial, Helvetica, sans-serif;}");
document.write("a.hikeyskew_l:hover, a.hikeyskew_l:active{background:#b7cbd2 url("+loc+"hikeyskew_l2.gif) no-repeat right;color: #000000;text-decoration:none;border-color:#000000;border-style:solid;border-width:0px "+bd+"px 0px "+bd+"px;padding:2px 0px 2px 0px;cursor:hand;display:block;font-size:13pt;font-family:Arial, Helvetica, sans-serif;}");
document.write("\n-->\n");
document.write("</style>");

var fc=0x000000;
var bc=0xb7cbd2;
if(typeof(frames)=="undefined"){var frames=0;}

startMainMenu("",0,0,2,0,0)
mainMenuItem("hikeyskew_b1",".gif",29,158,"http://www-2.cs.cmu.edu/~garlan/","","Home",2,2,"hikeyskew_plain");
mainMenuItem("hikeyskew_b2",".gif",29,158,"javascript:;","","Projects",2,2,"hikeyskew_plain");
mainMenuItem("hikeyskew_b3",".gif",29,158,"Publications.html","","Publications",2,2,"hikeyskew_plain");
mainMenuItem("hikeyskew_b4",".gif",29,158,"javascript:;","","Academics",2,2,"hikeyskew_plain");
mainMenuItem("hikeyskew_b5",".gif",29,158,"javascript:;","","External Activities",2,2,"hikeyskew_plain");
endMainMenu("",0,0);

startSubmenu("hikeyskew_b5","hikeyskew_menu",158);
submenuItem("Activities",loc+"Activities.html","","hikeyskew_plain");
submenuItem("Recent Talks",loc+"Talks.html","","hikeyskew_plain");
endSubmenu("hikeyskew_b5");

startSubmenu("hikeyskew_b4_2","hikeyskew_menu",173);
submenuItem("Owen Cheng","http://mosquito.homeip.net/drupal/","","hikeyskew_plain");
submenuItem("George Fairbanks","http://www.georgefairbanks.com/","","hikeyskew_plain");
submenuItem("Jung Soo Kim","http://www-2.cs.cmu.edu/~sun4384/","","hikeyskew_plain");
submenuItem("Vahe Poladian","http://www-2.cs.cmu.edu/~poladian/","","hikeyskew_plain");
submenuItem("Bradley Schmerl","http://www-2.cs.cmu.edu/~schmerl/","","hikeyskew_plain");
submenuItem("Joao Pedro Sousa","http://www-2.cs.cmu.edu/~jpsousa/","","hikeyskew_plain");
submenuItem("Hong Yan","http://www-2.cs.cmu.edu/~yh/","","hikeyskew_plain");
submenuItem("Wei Zhang (on leave)","http://www-2.cs.cmu.edu/~wzhang/","","hikeyskew_plain");
endSubmenu("hikeyskew_b4_2");

startSubmenu("hikeyskew_b4_1","hikeyskew_menu",429);
submenuItem("15-675 Architectures for Software Systems, Spring 2003","http://www-2.cs.cmu.edu/~garlan/courses/Architectures-S03.html","","hikeyskew_plain");
submenuItem("17-811 Self-Healing Systems, Spring 2003","http://www-2.cs.cmu.edu/~garlan/17811/","","hikeyskew_plain");
submenuItem("15-671 Models of Software Systems, Fall 2002","http://www-2.cs.cmu.edu/~garlan/courses/Models-F02.html","","hikeyskew_plain");
endSubmenu("hikeyskew_b4_1");

startSubmenu("hikeyskew_b4","hikeyskew_menu",170);
mainMenuItem("hikeyskew_b4_1","Courses",0,0,"javascript:;","","",1,1,"hikeyskew_l");
mainMenuItem("hikeyskew_b4_2","Students and Staff",0,0,"javascript:;","","",1,1,"hikeyskew_l");
endSubmenu("hikeyskew_b4");

startSubmenu("hikeyskew_b2","hikeyskew_menu",285);
submenuItem("ABLE","http://www-2.cs.cmu.edu/~able/","","hikeyskew_plain");
submenuItem("CyLab","http://www.cylab.cmu.edu/default.aspx","","hikeyskew_plain");
submenuItem("Project Aura","http://www-2.cs.cmu.edu/~aura/","","hikeyskew_plain");
submenuItem("RADAR","http://www.radar.cs.cmu.edu/external.asp","","hikeyskew_plain");
submenuItem("Rainbow","http://www-2.cs.cmu.edu/~able/research/rainbow/","","hikeyskew_plain");
submenuItem("Specification and Verification Center","http://www-2.cs.cmu.edu/~svc/","","hikeyskew_plain");
endSubmenu("hikeyskew_b2");

loc="";