// JavaScript Document
function changePage(url)
{
	document.location.href = url;
}

function changeColor(target, str_class)
{
	get_object(target).className = str_class;
}

function get_object(id) 
{
	var object = null;
	if (document.layers) {   
	object = document.layers[id];
	} else if (document.all) {
	object = document.all[id];
	} else if (document.getElementById) {
	object = document.getElementById(id);
	}
	return object;
}

function set_flash_size(newWidth, newHeight,moviename)
{
	var obj = swfobject.getObjectById(moviename);

	obj.height = newHeight;
	obj.width = newWidth;
}