function open_window(url, window_name)
{
  window.open(url, window_name, 'scrollbars=no, width=800, height=600');
}

function formValue(formElement, defaultText)
{
	if (document.getElementById(formElement).value == defaultText)
		document.getElementById(formElement).value='';
}