// Fix getElementById for older browsers
if( !document.getElementById ){
	if ( document.all ){
		document.getElementById = function(id){return document.all[id];};
	} else if ( document.layers ) {
		document.getElementById = function(id){return document.layers[id];};
	}
}