//this is for encoding email
var this_one = '&';var sign = ';';var is = '#';var at = '4';var the = '6';var s = '<a h';var a = 'f="ma';var t = 'o:';var r = 'ilt';var m = 're';


function roll(tgt, state){
	eval("document.getElementById(\"navlink_"+tgt+"\").className = \""+state+"\"")
	eval("document.getElementById(\"navmarker_"+tgt+"\").className = \"navmarker_"+state+"\"")
}


function goHere(where){
	document.location = where;
}