// JavaScript Document


///// Replaces an image with another image ////////////////////////////////////////////////////

function rollover(obj_id, change_to){
	
	$(obj_id).src = change_to;
}

//// Replaces the far nastier document.getElementById(id) method //////////////////////////////

function $(id) 
{ 

	return document.getElementById(id); 
}