/*	spain.js	*/

var referrer = document.referrer;
var browser_string = navigator.userAgent;
var browser = navigator.appName;
var version = parseFloat( navigator.appVersion );
var startpoint;
if ( browser_string.indexOf( "Opera" ) != -1 )
	browser = "Opera";
else if ( browser_string.indexOf( "Firefox" ) != -1 )	{
	browser = "Firefox";
	version = browser_string.substring( browser_string.indexOf( "Firefox" ) + 8 );
}
else if ( browser_string.indexOf( "MSIE" ) != -1 )	{
	startpoint = browser_string.indexOf( "MSIE" ) + 5;
	version = browser_string.substring( startpoint, startpoint + 3 );
}
else if ( browser_string.indexOf( "Netscape" ) != -1 )	{
	startpoint = browser_string.indexOf( "Netscape" ) + 9;
	version = browser_string.substring( startpoint, startpoint + 3 );
}
else if ( browser_string.indexOf( "Safari" ) != -1 )	{
	browser = "Safari";
	version = browser_string.substring( browser_string.indexOf( "Safari" ) + 7 );
}
var opsys = navigator.platform;
var cookies_ok = navigator.cookieEnabled;
var res = screen.width + " * " + screen.height;

function scramble( p6 )	{
	var p1,p2,p3,p4,p5;
	p1 = '<a href="mai';
	p2 = 'michael';
	p3 = '">';
	p1 += 'lto:';
	p2 += '@';
	p5 = '</a>';
	p2 += 'michael-scannell.com';
	p4 = p6;

	document.write( p1 + p2 + p3 + p4 + p5 );
}

function write_time()
{
	var day_name = new Array ("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
	var month_name = new Array ("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");

	var cdate = new Date();
	var fday = cdate.getDate();
	var suffix = "th ";
	switch ( fday )	{
		case 1:
		case 21:
		case 31: 
			suffix = "st ";
			break;
		case 2:
		case 22:
			suffix = "nd ";
			break;
		case 3:
		case 23:
			suffix = "rd ";
			break;
	}
	var hour = cdate.getHours();
	if ( hour > 11 )	{
		hour -= 12;
		ap = "PM";
	}
	else  {
	 	ap = "AM";
	}
	if ( hour == 0 )	{
	 	hour = 12;
	}
	var minute = cdate.getMinutes();
	if ( minute < 10 )	{
		minute = "0" + minute;
	}
	document.write( day_name[ cdate.getDay() ] + ", " + fday + suffix + " " + month_name[ cdate.getMonth() ] );
	document.write( ": " + hour + ":" + minute + " " + ap );
}

/*	This function returns the day, month and year that the file it appears in was
	last modified. 'document.lastModified' is itself a string, but includes seconds,
	and varies in form from browser to browser.	*/
function date_modified()	{
	var month_name = new Array( "January", "February", "March", "April", "May",
		"June", "July", "August", "September", "October", "November", "December" );
	var fdate = new Date( document.lastModified );
	var fday = fdate.getDate();
	var suffix = "th ";
	switch ( fday )	{
		case 1:
		case 21:
		case 31: 
			suffix = "st ";
			break;
		case 2:
		case 22:
			suffix = "nd ";
			break;
		case 3:
		case 23:
			suffix = "rd ";
			break;
	}
	var fmonth = month_name[ fdate.getMonth() ];
	var fyear = fdate.getFullYear();
	return fday + suffix + fmonth + ", " + fyear;
}