document.write (" 10495 ");