function bookmarkup(info) {
if (info == '') {
info = '...';
} else {
info ='&nbsp;<b>'+info+'</b>';
}
document.getElementById('bookmarkinfo').innerHTML=info;
}