// JavaScript Document

function event_open(n){
	var html_str = "index.php#" + n;
	document.location = html_str;
};