function getCookie(name) {prefix = name + "=" ; cookieStartIndex = document.cookie.indexOf(prefix); if (cookieStartIndex == -1) return null cookieEndIndex = document.cookie.indexOf( ";" , cookieStartIndex + prefix.length); if (cookieEndIndex == -1) cookieEndIndex = document.cookie.length; return unescape(document.cookie.substring(cookieStartIndex + prefix.length, cookieEndIndex));} user = getCookie( "user" ); if (user) document.write("