function getP(p) {
    document.getElementById('p').value = p;
    document.getElementById('faculty').submit();
    //alert("new value = " + document.getElementById('p').value);
    return 0;
}

function getCourse(course) {
    if (course.substr(0, 8) != 'syllabi/')
        return null;
    location = course;
}