// banner_ads.js
// show/hide ads

function show_ad( id )
 { document.getElementById(id).style.visibility = 'visible';	}
	
function hide_ad( id )
 {	document.getElementById(id).style.visibility = 'hidden'; }