document.write(' 6095 ');