document.write (" 6095 ");