document.write (" 7095 ");