// JavaScript Document
function init () {

	var links = document.getElementById("keyboard").getElementsByTagName("a")
	//titstatus = document.getElementById('twitter_update_list')
	//titoriginal = titstatus.innerHTML
	/*
	for(i=0; i<links.length; i++){
		if(links[i].title && links[i].rel == 'bookmark') {
			links[i].onmouseover = key_ov
			links[i].onmouseout = key_out
		}
	}*/
}
function key_ov () {
	with (this) {
		keytime = innerHTML
		keytitle = title
		innerHTML = '<small>'+title+'</small>'
	}
}
function key_out () {
	//this.title = titstatus.innerHTML.substring(10,titstatus.innerHTML.length - 12)
	with (this) {
		title = keytitle
		innerHTML = keytime
	}
}