// JavaScript Document
function putEmail(a,d) {
	document.write('<a href="mailto: ')
	document.write(a + '@' + d + '?')
	document.write('subject=Website%20')
	document.write('Contact">' + a + '@')
	document.write(d + '</a>')
}
function setPic(path) {
	var y = document.getElementById("bigPic")
	if(arguments[1] != 1) {
		y.style.paddingTop = "4.8em"
		y.style.paddingLeft = "1.2em"
	} else {
		y.style.paddingTop = "1.2em"
		y.style.paddingLeft = "4.8em"
	}
	y.src = "photos/" + path
}
function setFocus() {
	var x = document.getElementById("start")
	x.focus()
}