function putBrainstorm() {
	var ideas = [5194, 5009, 6211];
	var idea = ideas[Math.floor(Math.random() * ideas.length)];
	document.write('<a href="http://brainstorm.ubuntu.com/idea/' + idea + '/"><img src="http://brainstorm.ubuntu.com/idea/' + idea + '/image/2/" alt="Ubuntu Brainstorm"/></a>');
}

function php() {
	var pres = document.getElementsByTagName('PRE');
	for (var i = 0; i < pres.length; ++i) {
//		if (pres[i].className == 'php') {
			syntaxPHP(pres[i]);
//		}
	}
}

function syntaxPHP(e) {
	var keywords = ['public', 'function', 'class', 'interface', 'return'];
	var h = e.innerHTML;
	for (var i in keywords) {
		h.replace(new RegExp(keywords[i]), '<b>' + keywords[i] + '</b>');
	}
	e.innerHTML = h;
}