function fold(what) {
	obj=document.getElementById(what);
	obj2=document.getElementById("anti_" + what);
	if (obj) {
		if (obj.className=="fold") {
			obj.className="unfold";
			obj2.className="fold";
		} else {
			obj.className="fold";
			obj2.className="unfold";
		}
	}
}

function addToFolio(what, full)
{
    if (full == 1)
    {
        alert("Sorry, your portfolio is full. You can only choose up to 3 jobs.");
    }
    else
    {
       document.forms['form1'].jobToAdd.value = what; 
    }
}