// $Id: cookies.js,v 1.1 2007/12/05 15:52:08 pwh Exp $


function setCookie ( c_name, value, expiredays )

{
   var exdate = new Date();

   exdate.setDate ( exdate.getDate() + expiredays )
   document.cookie = c_name + "=" + escape ( value )
	+ ( ( expiredays == null ) ? "" : ";expires=" + exdate.toGMTString() )
}


function getCookie ( c_name )

{
   var cookie = null

   if ( document.cookie.length > 0 ) {

	var c_start = document.cookie.indexOf ( c_name + "=" )

	if ( c_start != -1 ) { 

		c_start = c_start + c_name.length + 1 
		var c_end = document.cookie.indexOf ( ";", c_start )

		if ( c_end == -1 ) c_end = document.cookie.length

		if ( c_end > c_start ) cookie
		= unescape ( document.cookie.substring ( c_start, c_end ) )
	} 
   }

   return ( cookie )
}