document.write(' 95 ');