// JavaScript Document

function lpinit()
	{}
	
function showsize()
		{
			if(.25* document.body.offsetWidth <= 165)
			{
				document.getElementById('quicklinks').size = 3
			}
			else if(.25* document.body.offsetWidth >= 165)
			{
					document.getElementById('quicklinks').size = 20
			}
		}