// JavaScript Document

function openGuide(section, type, source) {
  var ajax = startAJAX();
  ajax.open("GET", "/include/ajax.php?guideSec="+section+"&guideType="+type+"&guideSource="+source, true);
  ajax.send(null);
  ajax.onreadystatechange = function() { if (ajax.readyState == 4) { window.location = ajax.responseText; } }
}