function print_image(image_name)
{
	new_window = window.open('/print.php?img=' + image_name, 'newWindowName');
}

function go()
{
	box = document.forms[0].floorplans;
	destination = box.options[box.selectedIndex].value;
	if (destination) location.href = destination;
}