// Just makes them roll over

function rollon( id ) {
	elem = document.getElementById( id );
	elem.style.color = '#999';
	return;
}
function rolloff( id ) {
	elem = document.getElementById( id );
	elem.style.color = '#333';
	return;
}