function $( id ) {
	return document.getElementById( id );
}
function view_details( id ) {
	var obj = $( 'details_'+id );
	if ( !obj ) return;
	
	obj.style.display = ( obj.style.display != 'none' ) ? 'none' : '';
}