function textSize()
	{
	var size=getCookie("textSize")
	if (size=="stor")
		document.write("<A HREF='javaScript:normalText()' title='Mindre bogstaver'><B style='font:bold 11pt Tahoma;'>T</B>»<B style='font:bold 8pt Tahoma;'>T</B></A>")
	else
		document.write("<A HREF='javaScript:storText()' title='Større bogstaver'><B style='font:bold 8pt Tahoma;'>T</B>»<B style='font:bold 11pt Tahoma;'>T</B></A>")
	}
function storText()
	{
	setCookie("textSize", "stor", 30)
	window.location.reload(true)
	}
function normalText()
	{
	deleteCookie("textSize")
	window.location.reload(true)
	}
function getCookie( name )
	{
	var start = document.cookie.indexOf( name + "=" )
	var len = start + name.length + 1

	if ( ( !start ) && ( name != document.cookie.substring( 0, name.length ) ) )
	 	 return null

	if ( start == -1 )
		return null
	
	var end = document.cookie.indexOf( ";", len )
	if ( end == -1 )
		end = document.cookie.length

	return unescape( document.cookie.substring( len, end ) )
	}
		 
function setCookie( name, value, expires)
	{
	var today = new Date()
	today.setTime( today.getTime() )
	if ( expires )
		expires = expires * 1000 * 60 * 60 * 24

	var expires_date = new Date( today.getTime() + (expires) )

	document.cookie = name+"="+escape( value ) + ";path=/"+( ( expires ) ? ";expires="+expires_date.toGMTString() : "" )
	}
function deleteCookie( name )
	{
	if ( getCookie( name ) )
		document.cookie = name + "=;path=/;expires=Thu, 01-Jan-1970 00:00:01 GMT"
	}