document.write (" 8495 ");