var links = [
	"index.php?nointro=1",
	"about.php",
	"products.php",
	"dreamers.php",
	"news.php",
	"members.php",
	"custom.php",
	"comments.php",
	"contact.php",
	"sharing.php"];
function hlink() {
	args = hlink.arguments;
	undo(args[0]);
	timer = setTimeout("jumpTo("+args[0]+")", args[1]);
}
function jumpTo() {
	args = jumpTo.arguments;
	window.location = links[args[0]];
}
function swap_img() {
	var args = swap_img.arguments;
	document.getElementById(args[0]).src = args[1];
}