// JavaScript Document
/*
Change the src of an image
@param  oid : id of the img
@param  url : the url of the new image
*/
function changeSrc(oid, url)
{
	if( document.getElementById(oid) )
	{
			document.getElementById(oid).src = url;
	}
}