// Common javascript

function focus_select(elem)
{
	elem.focus();
	elem.select();
}

var coffee = {
};