// JavaScript Document

var urldata = "./";

function select01(url01)
{
	urldata = url01;
	parent.top.document.location = urldata;
};