document.write(' / ');