function ShowExampleWindow(num){
	window.open("example.php?name="+examples[num-1], "example", "width=350,height=350");
}